Truth/{SLC} - {A} Parallel Verification Platform for Concurrent Systems
| Title | Truth/{SLC} - {A} Parallel Verification Platform for Concurrent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Leucker, M, Noll, T |
| Editor | Berry, G, Comon, H, Finkel, A |
| Conference Name | Proceedings of the 13th Conference on Computer-Aided Verification (CAV'01) |
| Series | Lecture Notes in Computer Science |
| Volume | 2102 |
| Publisher | Springer |
Bibtex:
@inproceedings {LeuckerNoll01,
title = {Truth/{SLC} - {A} Parallel Verification Platform for Concurrent Systems},
booktitle = {Proceedings of the 13th Conference on Computer-Aided Verification (CAV{\textquoteright}01)},
series = {Lecture Notes in Computer Science},
volume = {2102},
year = {2001},
pages = {255{\textendash}259},
publisher = {Springer},
organization = {Springer},
author = {Martin Leucker and Thomas Noll},
editor = {G{\'e}rard Berry and Hubert Comon and Alain Finkel}
}Postscript:
