| Original language | English |
|---|---|
| Publisher | . |
| Edition | 1 |
| Publication status | Published - 2015 |
Fields of Expertise
- Information, Communication & Computing
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS
Decidability of Parameterized Verification
- Ayrat Khalimov
- , Roderick Bloem
- , Helmut Veith
- , Josef Widder
- , Igor Konnov
- , Sasha Rubin
- , Swen Jacobs
Research output: Book/Report › Book