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 Sammelwerk2006Informatik
Titel:
Saturated Semantics for Reactive Systems
Autor(in):
Bonchi, Filippo; König, BarbaraLSF; Montanari, Ugo
Erscheinungsjahr
2006
WWW URL
Erschienen in:
Titel:
Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
Erscheinungsort
Seattle
Verlag
IEEE
Erscheinungsjahr
2006
in:
S. 69 - 80
ISBN: