On the Verification of Timed Discrete-Event Models

Cite this paper

@inproceedings{Stergiou2013OnTV, title={On the Verification of Timed Discrete-Event Models}, author={Christos Stergiou and Stavros Tripakis and Eleftherios Matsikoudis and Edward A. Lee}, booktitle={FORMATS}, year={2013} }