@inproceedings{9280390a335b42c09e87eb9e22c2ab82,
title = "Modeling and testing multi-threaded asynchronous systems with Creol",
author = "Bernhard Aichernig and Andreas Griesmayer and Rudolf Schlatte and Andries Stam",
year = "2009",
doi = "doi:10.1016/j.entcs.2009.07.002",
language = "deutsch",
volume = "243",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier B.V.",
pages = "3--14",
booktitle = "Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)",
address = "Niederlande",
}