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
ISBN: 0-7695-2631-4
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.