Luca Bernardinello, Görkem Kilinç, Lucia Pomello. Weak Observable Liveness and Infinite Games on Finite Graphs. In Wil M. P. van der Aalst, Eike Best, editors, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Volume 10258 of Lecture Notes in Computer Science, pages 181-199, Springer, 2017. [doi]
@inproceedings{BernardinelloKP17,
title = {Weak Observable Liveness and Infinite Games on Finite Graphs},
author = {Luca Bernardinello and Görkem Kilinç and Lucia Pomello},
year = {2017},
doi = {10.1007/978-3-319-57861-3_12},
url = {https://doi.org/10.1007/978-3-319-57861-3_12},
researchr = {https://researchr.org/publication/BernardinelloKP17},
cites = {0},
citedby = {0},
pages = {181-199},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings},
editor = {Wil M. P. van der Aalst and Eike Best},
volume = {10258},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-57861-3},
}