Result: Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems

*Title*:

*Author/editor-in-chief*:

Leue, Stefan; Wei, Wei

*Publication*:

Konstanz : Bibliothek der Universität Konstanz, 2011

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Result*: Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems