Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
Automatic Compositional Verification of Timed Systems
FM, 2012.
@inproceedings{FM-2012-LinLSDA,
author = "Shang-Wei Lin and Yang Liu and Jun Sun and Jin Song Dong and Étienne André",
booktitle = "{Proceedings of the 18th International Symposium of Formal Methods}",
doi = "10.1007/978-3-642-32759-9_24",
isbn = "978-3-642-32758-2",
pages = "272--276",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Automatic Compositional Verification of Timed Systems}",
volume = 7436,
year = 2012,
}