Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul. Incremental verification of architecture specification language for real-time systems. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 215-222, IEEE Computer Society, 1997. [doi]
@inproceedings{TsaiSSP97,
title = {Incremental verification of architecture specification language for real-time systems},
author = {Jeffrey J. P. Tsai and A. Prasad Sistla and Avinash Sahay and Raymond A. Paul},
year = {1997},
doi = {10.1109/WORDS.1997.609957},
url = {http://doi.ieeecomputersociety.org/10.1109/WORDS.1997.609957},
researchr = {https://researchr.org/publication/TsaiSSP97},
cites = {0},
citedby = {0},
pages = {215-222},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-8046-6},
}