Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer. Automatic Generation of a Verification Platform. In Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings. pages 153-165, ECSI, 2005. [doi]
@inproceedings{KatjazovicSSP05,
title = {Automatic Generation of a Verification Platform},
author = {Suad Katjazovic and Christian Steger and Andreas Schuhai and Markus Pistauer},
year = {2005},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=443},
researchr = {https://researchr.org/publication/KatjazovicSSP05},
cites = {0},
citedby = {0},
pages = {153-165},
booktitle = {Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings},
publisher = {ECSI},
}