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