Manuela L. Bujorianu, Marius C. Bujorianu. Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In András Horváth, Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Volume 4054 of Lecture Notes in Computer Science, pages 93-107, Springer, 2006. [doi]
@inproceedings{BujorianuB06,
title = {Model Checking for a Class of Performance Properties of Fluid Stochastic Models},
author = {Manuela L. Bujorianu and Marius C. Bujorianu},
year = {2006},
doi = {10.1007/11777830_7},
url = {http://dx.doi.org/10.1007/11777830_7},
tags = {model checking, meta-model, C++, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BujorianuB06},
cites = {0},
citedby = {0},
pages = {93-107},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings},
editor = {András Horváth and Miklós Telek},
volume = {4054},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35362-3},
}