Verification of asynchronous systems with unbounded and unordered message buffers
By
BibTeX
@inproceedings{avis04, author = "Thati, Prasanna and Viswanathan, Mahesh", title = "Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers", booktitle = "International Workshop on Automated Verification of Infinite State Systems (AVIS)", keywords = "formal methods", year = "2004", }