Qualitative Action Systems

Bernhard Aichernig, Harald Brandl, Willibald Karl Krenn

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelFormal Methods and Software Engineering
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten206-225
Band5885
ISBN (Print)978-3-642-10372-8
DOIs
PublikationsstatusVeröffentlicht - 2009
VeranstaltungInternational Conference on Formal Engineering Methods - Rio de Janeiro, Brasilien
Dauer: 9 Dez 200911 Dez 2009

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Formal Engineering Methods
LandBrasilien
OrtRio de Janeiro
Zeitraum9/12/0911/12/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Dies zitieren

Aichernig, B., Brandl, H., & Krenn, W. K. (2009). Qualitative Action Systems. in Formal Methods and Software Engineering (Band 5885, S. 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. Band 5885 Berlin [u.a.] : Springer, 2009. S. 206-225 (Lecture notes in computer science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aichernig, B, Brandl, H & Krenn, WK 2009, Qualitative Action Systems. in Formal Methods and Software Engineering. Bd. 5885, Lecture notes in computer science, Springer, Berlin [u.a.], S. 206-225, Rio de Janeiro, Brasilien, 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. Band 5885. Berlin [u.a.]: Springer. 2009. S. 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. Band 5885 Berlin [u.a.] : Springer, 2009. S. 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 -