%0 Conference Paper %1 conf/atva/TabajaraV21 %A Tabajara, Lucas M. %A Vardi, Moshe Y. %B ATVA %D 2021 %E Hou, Zhe %E Ganesh, Vijay %I Springer %K dblp %P 3-12 %T Linear Temporal Logic - From Infinite to Finite Horizon. %U http://dblp.uni-trier.de/db/conf/atva/atva2021.html#TabajaraV21 %V 12971 %@ 978-3-030-88885-5

@inproceedings{conf/atva/TabajaraV21, added-at = {2021-10-18T00:00:00.000+0200}, author = {Tabajara, Lucas M. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2dc42e837253706693acfd7db706b2659/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2021}, editor = {Hou, Zhe and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-030-88885-5_1}, interhash = {b8ec0b5faf7b8cd91d87332b7d3141dd}, intrahash = {dc42e837253706693acfd7db706b2659}, isbn = {978-3-030-88885-5}, keywords = {dblp}, pages = {3-12}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:46.000+0200}, title = {Linear Temporal Logic - From Infinite to Finite Horizon.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2021.html#TabajaraV21}, volume = 12971, year = 2021 }