Comparing model checkers for timed UML activity diagrams
| Author | |
| Year of Publication | 2015 |
| Journal | Science of Computer Programming |
| Volume | 111 |
| Number of Pages | 277–299 |
| Download citation |
| Author | |
| Year of Publication | 2015 |
| Journal | Science of Computer Programming |
| Volume | 111 |
| Number of Pages | 277–299 |
| Download citation |