@inproceedings{58513b7bd4004d8dbd9bb17f1e1f312c,
title = "Mosel: A sound and efficient tool for M2L(Str)",
author = "Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger",
year = "1997",
doi = "10.1007/3-540-63166-6_45",
language = "English",
isbn = "3540631666",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "448--451",
editor = "Orna Grumberg",
booktitle = "Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings",
note = "9th International Conference on Computer-Aided Verification, CAV 1997 ; Conference date: 22-06-1997 Through 25-06-1997",
}