@inproceedings{FM-1998-BussowGHH,
author = "Robert Büssow and Wolfgang Grieskamp and Winfried Heicking and Stephan Herrmann",
booktitle = "{Proceedings of the International Workshop on Current Trends in Applied Formal Methods}",
doi = "10.1007/3-540-48257-1_11",
isbn = "3-540-66462-9",
pages = "184--195",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools}",
volume = 1641,
year = 1998,
}
Tags: