About this scholarly article

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Long-run Satisfaction of Path Properties by Baier, Christel; Bertrand, Nathalie; Piribauer, Jakob; Sankur, Ocan is a scholarly article available to read on EtoBox.

Author

Baier, Christel; Bertrand, Nathalie; Piribauer, Jakob; Sankur, Ocan

Publisher

IEEE

Published

2019