Bonchi, Filippo; König, Barbara; Montanari, Ugo:
Saturated Semantics for Reactive Systems
In: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle: IEEE, 2006, S. 69 - 80
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Saturated Semantics for Reactive Systems
Autor(in):
Bonchi, Filippo; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Montanari, Ugo
Erscheinungsjahr:
2006
Erschienen in:
Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle: IEEE, 2006, S. 69 - 80
ISBN:
Link URL: