Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageGerman
Title of host publicationProceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
PublisherElsevier B.V.
Pages3-14
Volume243
DOIs
Publication statusPublished - 2009

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Treatment code (Nähere Zuordnung)

  • Application

Cite this