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
2006Buchaufsatz/Kapitel in SammelwerkInformatik
Titel:
Saturated Semantics for Reactive Systems
Autor(in):
Bonchi, Filippo; König, BarbaraLSF; Montanari, Ugo
WWW URL