Login
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Kuperberg, Denis; Brunel, Julien; Chemouil, David
- Titel:
- On Finite Domains in First-Order Linear Temporal Logic
- Buchtitel:
- Automated Technology for Verification and Analysis
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2016
- Seiten/Umfang:
- 211-226
- Print-ISBN:
- 97833194651979783319465203
- DOI:
- doi:10.1007/978-3-319-46520-3_14
BibTeX