Giacomo Bucci, Luigi Sassoli, Enrico Vicario. ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 70-79, IEEE Computer Society, 2004. [doi]
@inproceedings{BucciSV04, title = {ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems}, author = {Giacomo Bucci and Luigi Sassoli and Enrico Vicario}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850070abs.htm}, tags = {analysis}, researchr = {https://researchr.org/publication/BucciSV04}, cites = {0}, citedby = {0}, pages = {70-79}, booktitle = {1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands}, publisher = {IEEE Computer Society}, isbn = {0-7695-2185-1}, }