Laura Carnevali, Johnny Giuntini, Enrico Vicario. A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. In Samson Lasaulce, Dieter Fiems, Peter G. Harrison, Luc Vandendorpe, editors, 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011. pages 111-120, ICST/ACM, 2011. [doi]
@inproceedings{CarnevaliGV11,
title = {A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters},
author = {Laura Carnevali and Johnny Giuntini and Enrico Vicario},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2151702},
researchr = {https://researchr.org/publication/CarnevaliGV11},
cites = {0},
citedby = {0},
pages = {111-120},
booktitle = {5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011},
editor = {Samson Lasaulce and Dieter Fiems and Peter G. Harrison and Luc Vandendorpe},
publisher = {ICST/ACM},
isbn = {978-1-936968-09-1},
}