A theory of testing for asynchronous concurrent systems
By
BibTeX
@inproceedings{phd-thati, author = "Thati, Prasanna", title = "A theory of testing for asynchronous concurrent systems", booktitle = "Phd Dissertation, University of Illinois at Urbana Champaign, October", keywords = "formal methods", year = "2003", }