Title | Comparing model checkers for timed UML activity diagrams |
Publication Type | Journal Article |
Year of Publication | 2015 |
Authors | Daw, Zamira, and Cleaveland Rance |
Journal | Science of Computer Programming |
Volume | 111 |
Pagination | 277–299 |
Title | Comparing model checkers for timed UML activity diagrams |
Publication Type | Journal Article |
Year of Publication | 2015 |
Authors | Daw, Zamira, and Cleaveland Rance |
Journal | Science of Computer Programming |
Volume | 111 |
Pagination | 277–299 |