Checking Concise Specifications for Multithreaded Software

By: Stephen Freund, Shaz Qadeer

Cite as:

Stephen Freund, Shaz Qadeer, “Checking Concise Specifications for Multithreaded Software”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 81-101, doi:10.5381/jot.2004.3.6.a4.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access