| 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 |
© Department of Computer Science, Stony Brook University, Stony Brook, NY 11794-2424
