Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Verification tools  [Clear All Filters]
2002
Cleaveland R, Sims ST.  2002.  Generic tools for verifying concurrent systems. Science of Computer Programming. 42(1):39-47.