Bernhard Steffen, Tiziana Margaria-Steffen, Andreas Claßen, Volker Braun
The METAFrame’95 Environment
CAV, 1996.
@inproceedings{CAV-1996-SteffenMCB,
author = "Bernhard Steffen and Tiziana Margaria-Steffen and Andreas Claßen and Volker Braun",
booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-61474-5_100",
isbn = "3-540-61474-5",
pages = "450--453",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{The METAFrame’95 Environment}",
volume = 1102,
year = 1996,
}