Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner. Checking and Transforming Models with AutoFOCUS. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 307-314, IEEE Computer Society, 2005. [doi]
@inproceedings{SchatzBHW05,
title = {Checking and Transforming Models with AutoFOCUS},
author = {Bernhard Schätz and Peter Braun 0003 and Franz Huber and Alexander K. Wißpeintner},
year = {2005},
url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080307abs.htm},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SchatzBHW05},
cites = {0},
citedby = {0},
pages = {307-314},
booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2308-0},
}