Mosel: A sound and efficient tool for M2L(Str)

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification - 9th International Conference, CAV 1997, Proceedings
EditorsOrna Grumberg
PublisherSpringer Verlag
Pages448-451
Number of pages4
ISBN (Print)3540631666, 9783540631668
DOIs
Publication statusPublished - 1997
Externally publishedYes
Event9th International Conference on Computer-Aided Verification, CAV 1997 - Haifa, Israel
Duration: 22 Jun 199725 Jun 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1254
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Computer-Aided Verification, CAV 1997
Country/TerritoryIsrael
CityHaifa
Period22/06/9725/06/97

Cite this