| Originalsprache | englisch |
|---|---|
| Verlag | . |
| Auflage | 1 |
| Publikationsstatus | Veröffentlicht - 2015 |
Fields of Expertise
- Information, Communication & Computing
Decidability of Parameterized Verification
Ayrat Khalimov, Roderick Bloem, Helmut Veith, Josef Widder, Igor Konnov, Sasha Rubin, Swen Jacobs
Publikation: Buch/Bericht/Konferenzband › Buch (Autorenwerk)