Integer linear programming-based property checking for asynchronous reactive systems
Leue, Stefan ; Wei, Wei 2013 Bibliothek der Universität Konstanz
- Link zu diesem Datensatz
-
https://d-nb.info/109356363X
- Titel
-
Integer linear programming-based property checking for asynchronous reactive systems
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Stefan Leue ; Wei Wei
- Autor(en)
-
- Verlag
- Konstanz : Bibliothek der Universität Konstanz [2013]
- Jahr
- Erscheinungsdatum: 2013
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:352-243472
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: IEEE Transactions on Software Engineering ; 39 (2013), 2. - S. 216-236. - ISSN 0098-5589
- Enthalten in: In: IEEE Transactions on Software Engineering ; 39 (2013), 2. - S. 216-236. - ISSN 0098-5589
- Enthalten in: In: IEEE Transactions on Software Engineering ; 39 (2013), 2. - S. 216-236. - ISSN 0098-5589
- Stand
- 24.02.2023 16:10
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
