A theory of testing for asynchronous concurrent systems

By Prasanna Thati. In Phd Dissertation, University of Illinois at Urbana Champaign, October. 2003.

Full Text:

Download PDF

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",
}