On Finite Domains in First-Order Linear Temporal Logic.

Details

Language :

English

ISBNs :

9783319465197

Database :

Complementary Index

Journal :

Automated Technology for Verification & Analysis (9783319465197)

Publication Type :

Book

Accession number :

119822503

Full Text :

https://doi.org/10.1007/978-3-319-46520-3_14