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