Qualitative Action Systems

Bernhard Aichernig, Harald Brandl, Willibald Karl Krenn

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

Original languageEnglish
Title of host publicationFormal Methods and Software Engineering
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages206-225
Volume5885
ISBN (Print)978-3-642-10372-8
DOIs
Publication statusPublished - 2009
EventInternational Conference on Formal Engineering Methods - Rio de Janeiro, Brazil
Duration: 9 Dec 200911 Dec 2009

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Conference on Formal Engineering Methods
CountryBrazil
CityRio de Janeiro
Period9/12/0911/12/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Aichernig, B., Brandl, H., & Krenn, W. K. (2009). Qualitative Action Systems. In Formal Methods and Software Engineering (Vol. 5885, pp. 206-225). (Lecture notes in computer science). Berlin [u.a.]: Springer. https://doi.org/10.1007/978-3-642-10373-5_11

Qualitative Action Systems. / Aichernig, Bernhard; Brandl, Harald; Krenn, Willibald Karl.

Formal Methods and Software Engineering. Vol. 5885 Berlin [u.a.] : Springer, 2009. p. 206-225 (Lecture notes in computer science).

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

Aichernig, B, Brandl, H & Krenn, WK 2009, Qualitative Action Systems. in Formal Methods and Software Engineering. vol. 5885, Lecture notes in computer science, Springer, Berlin [u.a.], pp. 206-225, International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil, 9/12/09. https://doi.org/10.1007/978-3-642-10373-5_11
Aichernig B, Brandl H, Krenn WK. Qualitative Action Systems. In Formal Methods and Software Engineering. Vol. 5885. Berlin [u.a.]: Springer. 2009. p. 206-225. (Lecture notes in computer science). https://doi.org/10.1007/978-3-642-10373-5_11
Aichernig, Bernhard ; Brandl, Harald ; Krenn, Willibald Karl. / Qualitative Action Systems. Formal Methods and Software Engineering. Vol. 5885 Berlin [u.a.] : Springer, 2009. pp. 206-225 (Lecture notes in computer science).
@inproceedings{7fd77ccf4c1f4593bbec893653a45ea8,
title = "Qualitative Action Systems",
author = "Bernhard Aichernig and Harald Brandl and Krenn, {Willibald Karl}",
year = "2009",
doi = "10.1007/978-3-642-10373-5_11",
language = "English",
isbn = "978-3-642-10372-8",
volume = "5885",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "206--225",
booktitle = "Formal Methods and Software Engineering",

}

TY - GEN

T1 - Qualitative Action Systems

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Krenn, Willibald Karl

PY - 2009

Y1 - 2009

UR - http://www.springerlink.com/content/c248rr3r5q684215/

U2 - 10.1007/978-3-642-10373-5_11

DO - 10.1007/978-3-642-10373-5_11

M3 - Conference contribution

SN - 978-3-642-10372-8

VL - 5885

T3 - Lecture notes in computer science

SP - 206

EP - 225

BT - Formal Methods and Software Engineering

PB - Springer

CY - Berlin [u.a.]

ER -