TY - JOUR
AU - Zamira Daw
AU - Rance Cleaveland
BT - Science of Computer Programming
LA - eng
PY - 2015
EP - 277–299
T2 - Science of Computer Programming
TI - Comparing model checkers for timed UML activity diagrams
VL - 111
ER -