Anne Remke, Boudewijn R. Haverkort. A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 188-202, Springer, 2008. [doi]
@inproceedings{RemkeH08,
title = {A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks},
author = {Anne Remke and Boudewijn R. Haverkort},
year = {2008},
doi = {10.1007/978-3-540-85778-5_14},
url = {http://dx.doi.org/10.1007/978-3-540-85778-5_14},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/RemkeH08},
cites = {0},
citedby = {0},
pages = {188-202},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
editor = {Franck Cassez and Claude Jard},
volume = {5215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85777-8},
}