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
Beteiligt:
Veröffentlicht:
Konstanz : Bibliothek der Universität Konstanz, 2011
Umfang:
Online-Ressource
Format:
Sprache:
Englisch