Searching for "Model checking the Java metalocking algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Model checking the Java Meta-Locking algorithm
by Samik Basu, Scott A. Smolka — 2000 — In IEEE International Conference on the Engineering of Computer Based Systems. IEEE
…Model Checking the Java Metalocking Algorithm SAMIK BASU Iowa State University and SCOTT A. SMOLKA…
Cited by 15 (6 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB