Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi. Computing Quantitative Characteristics of Finite-State Real-Time Systems. In Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS 94), San Juan, Puerto Rico, December 7-9, 1994. pages 266-270, IEEE Computer Society, 1994.
@inproceedings{CamposCMMH94,
title = {Computing Quantitative Characteristics of Finite-State Real-Time Systems},
author = {Sérgio Vale Aguiar Campos and Edmund M. Clarke and Wilfredo R. Marrero and Marius Minea and Hiromi Hiraishi},
year = {1994},
researchr = {https://researchr.org/publication/CamposCMMH94},
cites = {0},
citedby = {0},
pages = {266-270},
booktitle = {Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS 94), San Juan, Puerto Rico, December 7-9, 1994},
publisher = {IEEE Computer Society},
isbn = {0-8186-6600-5},
}