Miaomiao Zhang, Zhiming Liu, Naijun Zhan. Model Checking Linear Duration Invariants of Networks of Automata. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Volume 5961 of Lecture Notes in Computer Science, pages 244-259, Springer, 2009. [doi]
@inproceedings{ZhangLZ09-0,
title = {Model Checking Linear Duration Invariants of Networks of Automata},
author = {Miaomiao Zhang and Zhiming Liu and Naijun Zhan},
year = {2009},
doi = {10.1007/978-3-642-11623-0_14},
url = {http://dx.doi.org/10.1007/978-3-642-11623-0_14},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ZhangLZ09-0},
cites = {0},
citedby = {0},
pages = {244-259},
booktitle = {Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers},
editor = {Farhad Arbab and Marjan Sirjani},
volume = {5961},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11622-3},
}