Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationIFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)
PublisherSpringer Verlag
Pages225-230
Volume5522
Publication statusPublished - 2009
EventIFIP International Conference on Formal Techniques for Distributed Systems - Lisbon, Portugal
Duration: 9 Jun 200912 Jun 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceIFIP International Conference on Formal Techniques for Distributed Systems
CountryPortugal
CityLisbon
Period9/06/0912/06/09

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Griesmayer, A., Aichernig, B., Broch Johnsen, E., & Schlatte, R. (2009). Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). In IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE) (Vol. 5522, pp. 225-230). (Lecture Notes in Computer Science). Springer Verlag.

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). / Griesmayer, Andreas; Aichernig, Bernhard; Broch Johnsen, Einar; Schlatte, Rudolf.

IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Vol. 5522 Springer Verlag, 2009. p. 225-230 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Griesmayer, A, Aichernig, B, Broch Johnsen, E & Schlatte, R 2009, Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). in IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). vol. 5522, Lecture Notes in Computer Science, Springer Verlag, pp. 225-230, IFIP International Conference on Formal Techniques for Distributed Systems, Lisbon, Portugal, 9/06/09.
Griesmayer A, Aichernig B, Broch Johnsen E, Schlatte R. Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). In IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Vol. 5522. Springer Verlag. 2009. p. 225-230. (Lecture Notes in Computer Science).
Griesmayer, Andreas ; Aichernig, Bernhard ; Broch Johnsen, Einar ; Schlatte, Rudolf. / Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Vol. 5522 Springer Verlag, 2009. pp. 225-230 (Lecture Notes in Computer Science).
@inproceedings{7d8bb1d2d2874011ab1a13d786f0a377,
title = "Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)",
author = "Andreas Griesmayer and Bernhard Aichernig and {Broch Johnsen}, Einar and Rudolf Schlatte",
year = "2009",
language = "English",
volume = "5522",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "225--230",
booktitle = "IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)",
address = "Germany",

}

TY - GEN

T1 - Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

AU - Griesmayer, Andreas

AU - Aichernig, Bernhard

AU - Broch Johnsen, Einar

AU - Schlatte, Rudolf

PY - 2009

Y1 - 2009

M3 - Conference contribution

VL - 5522

T3 - Lecture Notes in Computer Science

SP - 225

EP - 230

BT - IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)

PB - Springer Verlag

ER -