@inproceedings{DBLP:conf/tacas/GardnerL99,
author = {Mark K. Gardner and
Jane W.-S. Liu},
title = {Analyzing Stochastic Fixed-Priority Real-Time Systems},
booktitle = {TACAS},
year = {1999},
pages = {44-58},
ee = {http://dx.doi.org/10.1007/3-540-49059-0_4},
crossref = {DBLP:conf/tacas/1999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tacas/1999,
editor = {Rance Cleaveland},
title = {Tools and Algorithms for Construction and Analysis of Systems,
5th International Conference, TACAS '99, Held as Part of
the European Joint Conferences on the Theory and Practice
of Software, ETAPS'99, Amsterdam, The Netherlands, March
22-28, 1999, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1579},
year = {1999},
isbn = {3-540-65703-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}