Cited By
View all- Stergiou CTripakis SMatsikoudis ELee E(2013)On the verification of timed discrete-event modelsProceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems10.1007/978-3-642-40229-6_15(213-227)Online publication date: 29-Aug-2013