Treffer: Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Titel:
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems / Stefan Leue ; Wei Wei
Verantwortlich:
Veröffentlicht:
Konstanz : Bibliothek der Universität Konstanz, 2011
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch