Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Integer Linear Programming Bas...
  • Beschreibung

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:
Leue, Stefan; Wei, Wei 
Veröffent­licht:
Konstanz : Bibliothek der Universität Konstanz, 2011
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch

Zusatz-Informationen

Zusatz-Funktionen