Publikation
Liam O'Reilly; Till Mossakowski; Markus Roggenbach
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Etelsen, Germany, Pages 251-269, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
@inproceedings{pub6647, author = { O'Reilly, Liam and Mossakowski, Till and Roggenbach, Markus }, editor = { Mossakowski, Till and Kreowski, Hans-Jörg }, title = {Compositional modelling and reasoning in an institution for processes and data}, booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Etelsen, Germany}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2012}, volume = {7137}, pages = {251--269}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023