Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In Stanislaw Budkowski, Ana R. Cavalli, Elie Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and. Volume 135 of IFIP Conference Proceedings, pages 457-467, Kluwer, 1998.
@inproceedings{BernardoCSS98,
title = {TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems},
author = {Marco Bernardo and Rance Cleaveland and Steve Sims and W. Stewart},
year = {1998},
tags = {analysis},
researchr = {https://researchr.org/publication/BernardoCSS98},
cites = {0},
citedby = {0},
pages = {457-467},
booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and},
editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
volume = {135},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-412-84760-4},
}