Sérgio Vale Aguiar Campos, Edmund M. Clarke. Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. STTT, 2(3):260-269, 1999. [doi]
@article{CamposC99,
title = {Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms},
author = {Sérgio Vale Aguiar Campos and Edmund M. Clarke},
year = {1999},
url = {http://link.springer.de/link/service/journals/10009/bibs/9002003/90020260.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/CamposC99},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {2},
number = {3},
pages = {260-269},
}