Samik Basu, Scott A. Smolka, Orson R. Ward. Model Checking the Java Meta-Locking Algorithm. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 342-350, IEEE Computer Society, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.