%0 Conference Paper %1 conf/valuetools/CarnevaliGV11 %A Carnevali, Laura %A Giuntini, Johnny %A Vicario, Enrico %B VALUETOOLS %D 2011 %E Lasaulce, Samson %E Fiems, Dieter %E Harrison, Peter G. %E Vandendorpe, Luc %I ICST/ACM %K dblp %P 111-120 %T A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. %U http://dblp.uni-trier.de/db/conf/valuetools/valuetools2011.html#CarnevaliGV11 %@ 978-1-936968-09-1

@inproceedings{conf/valuetools/CarnevaliGV11, added-at = {2015-03-24T00:00:00.000+0100}, author = {Carnevali, Laura and Giuntini, Johnny and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2d80461fa4c0c4b1c405041239c1cfa45/dblp}, booktitle = {VALUETOOLS}, crossref = {conf/valuetools/2011}, editor = {Lasaulce, Samson and Fiems, Dieter and Harrison, Peter G. and Vandendorpe, Luc}, ee = {http://dl.acm.org/citation.cfm?id=2151702}, interhash = {b1775f73586987f944c1feb3aacb53c8}, intrahash = {d80461fa4c0c4b1c405041239c1cfa45}, isbn = {978-1-936968-09-1}, keywords = {dblp}, pages = {111-120}, publisher = {ICST/ACM}, timestamp = {2015-06-18T11:38:20.000+0200}, title = {A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.}, url = {http://dblp.uni-trier.de/db/conf/valuetools/valuetools2011.html#CarnevaliGV11}, year = 2011 }