Publications

Export 10 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
2015
Comparing model checkers for timed UML activity diagrams, Daw, Zamira, and Cleaveland Rance , Science of Computer Programming, Volume 111, p.277–299, (2015)