Unifying input output conformance

Martin Weiglhofer, Bernhard Aichernig

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

Original languageEnglish
Title of host publicationProceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland
Publisher.
Pages181-201
Publication statusPublished - 2010

Publication series

NameLNCS

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Weiglhofer, M., & Aichernig, B. (2010). Unifying input output conformance. In Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland (pp. 181-201). (LNCS). ..

Unifying input output conformance. / Weiglhofer, Martin; Aichernig, Bernhard.

Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. ., 2010. p. 181-201 (LNCS).

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

Weiglhofer, M & Aichernig, B 2010, Unifying input output conformance. in Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. LNCS, ., pp. 181-201.
Weiglhofer M, Aichernig B. Unifying input output conformance. In Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. . 2010. p. 181-201. (LNCS).
Weiglhofer, Martin ; Aichernig, Bernhard. / Unifying input output conformance. Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. ., 2010. pp. 181-201 (LNCS).
@inproceedings{76ef563eb1a64f0eb0c04c974ed76bb6,
title = "Unifying input output conformance",
author = "Martin Weiglhofer and Bernhard Aichernig",
year = "2010",
language = "English",
series = "LNCS",
publisher = ".",
pages = "181--201",
booktitle = "Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland",

}

TY - GEN

T1 - Unifying input output conformance

AU - Weiglhofer, Martin

AU - Aichernig, Bernhard

PY - 2010

Y1 - 2010

M3 - Conference contribution

T3 - LNCS

SP - 181

EP - 201

BT - Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland

PB - .

ER -