Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

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

Titel:

Beteiligt:

Leue, Stefan; Wei, Wei

Veröffentlicht:

Konstanz : Bibliothek der Universität Konstanz, 2011

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Zusatz-Informationen