%0 Conference Paper %1 conf/atva/CimattiGM21 %A Cimatti, Alessandro %A Griggio, Alberto %A Magnago, Enrico %B ATVA %D 2021 %E Hou, Zhe %E Ganesh, Vijay %I Springer %K dblp %P 32-47 %T Automatic Discovery of Fair Paths in Infinite-State Transition Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2021.html#CimattiGM21 %V 12971 %@ 978-3-030-88885-5

@inproceedings{conf/atva/CimattiGM21, added-at = {2021-11-03T00:00:00.000+0100}, author = {Cimatti, Alessandro and Griggio, Alberto and Magnago, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2a6e1f42027ba27740575a070b67bf235/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2021}, editor = {Hou, Zhe and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-030-88885-5_3}, interhash = {1bfbcf0750e2fa76ee50dce29d74548a}, intrahash = {a6e1f42027ba27740575a070b67bf235}, isbn = {978-3-030-88885-5}, keywords = {dblp}, pages = {32-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:46.000+0200}, title = {Automatic Discovery of Fair Paths in Infinite-State Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2021.html#CimattiGM21}, volume = 12971, year = 2021 }