Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig; Andreas Griesmayer; Rudolf Schlatte; Andries Stam

doi:doi:10.1016/j.entcs.2009.07.002

Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	German
Title of host publication	Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)
Publisher	Elsevier B.V.
Pages	3-14
Volume	243
DOIs	https://doi.org/doi:10.1016/j.entcs.2009.07.002
Publication status	Published - 2009

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier

Treatment code (Nähere Zuordnung)

Application

Access to Document

doi:10.1016/j.entcs.2009.07.002

1 Active

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

Aichernig, B., Griesmayer, A., Schlatte, R., & Stam, A. (2009). Modeling and testing multi-threaded asynchronous systems with Creol. In Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008) (Vol. 243, pp. 3-14). (Electronic Notes in Theoretical Computer Science). Elsevier B.V.. https://doi.org/doi:10.1016/j.entcs.2009.07.002

Modeling and testing multi-threaded asynchronous systems with Creol. / Aichernig, Bernhard; Griesmayer, Andreas; Schlatte, Rudolf; Stam, Andries.

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). Vol. 243 Elsevier B.V., 2009. p. 3-14 (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Aichernig, B, Griesmayer, A, Schlatte, R & Stam, A 2009, Modeling and testing multi-threaded asynchronous systems with Creol. in Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). vol. 243, Electronic Notes in Theoretical Computer Science, Elsevier B.V., pp. 3-14. https://doi.org/doi:10.1016/j.entcs.2009.07.002

@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",

}

TY - GEN

T1 - Modeling and testing multi-threaded asynchronous systems with Creol

AU - Aichernig, Bernhard

AU - Griesmayer, Andreas

AU - Schlatte, Rudolf

AU - Stam, Andries

PY - 2009

Y1 - 2009

U2 - doi:10.1016/j.entcs.2009.07.002

DO - doi:10.1016/j.entcs.2009.07.002

M3 - Beitrag in einem Konferenzband

VL - 243

T3 - Electronic Notes in Theoretical Computer Science

SP - 3

EP - 14

BT - Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)

PB - Elsevier B.V.

ER -

Modeling and testing multi-threaded asynchronous systems with Creol

Publication series

Treatment code (Nähere Zuordnung)

Access to Document

Formal Methods

Cite this