Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
LCTES, 1995.
@inproceedings{LCT-RTS-1995-CamposCMM,
author = "Sérgio Vale Aguiar Campos and Edmund M. Clarke and Wilfredo R. Marrero and Marius Minea",
booktitle = "{Proceedings of the Workshop on Languages, Compilers, and Tools for Real-Time Systems}",
doi = "10.1145/216636.216661",
pages = "70--78",
publisher = "{ACM}",
title = "{Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems}",
year = 1995,
}