Login
- Document type:
- Buchbeitrag
- Author(s):
- Kuperberg, Denis; Brunel, Julien; Chemouil, David
- Title:
- On Finite Domains in First-Order Linear Temporal Logic
- Book title:
- Automated Technology for Verification and Analysis
- Publisher:
- Springer International Publishing
- Year:
- 2016
- Pages:
- 211-226
- Print-ISBN:
- 97833194651979783319465203
- DOI:
- doi:10.1007/978-3-319-46520-3_14
BibTeX