Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. In Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, editors, Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Volume 6342 of Lecture Notes in Computer Science, pages 83-98, Springer, 2010. [doi]
@inproceedings{JacobsenJMS10,
title = {A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking},
author = {Lasse Jacobsen and Morten Jacobsen and Mikael H. Møller and Jirí Srba},
year = {2010},
doi = {10.1007/978-3-642-15784-4_6},
url = {http://dx.doi.org/10.1007/978-3-642-15784-4_6},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/JacobsenJMS10},
cites = {0},
citedby = {0},
pages = {83-98},
booktitle = {Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
editor = {Alessandro Aldini and Marco Bernardo and Luciano Bononi and Vittorio Cortellessa},
volume = {6342},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15783-7},
}