Approximations for fixpoint computations in symbolic model chec king

Roderick Paul Bloem, I.-H. Moon, K. Ravi, F. Somenzi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelWorld Multiconference on Systemics, Cybernetics and Informatics
Herausgeber (Verlag).
Seiten701-706
PublikationsstatusVeröffentlicht - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren