[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Model Checking on Hybrid Automata
Casagrande, Alberto, Piazza, CarlaYear:
2012
Language:
english
DOI:
10.1109/DSD.2012.87
File:
PDF, 349 KB
english, 2012