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.