Automata-Based CSL Model Checking
| Title | Automata-Based CSL Model Checking |
| Publication Type | Journal Article |
| Year of Publication | 2011 |
| Authors | Zhang, L, Jansen, DN, Nielson, F, Hermanns, H |
| Journal | Logical Methods in Computer Science |
| Volume | 8 |
PDF (Full text):
Work Package:
WP1
