%0 Book %1 books/cu/Demri2016 %A Demri, Stéphane %A Goranko, Valentin %A Lange, Martin %B Cambridge Tracts in Theoretical Computer Science %D 2016 %I Cambridge University Press %K %T Temporal Logics in Computer Science: Finite-State Systems %@ 9781107028364

@book{books/cu/Demri2016, added-at = {2023-12-12T17:17:54.000+0100}, author = {Demri, Stéphane and Goranko, Valentin and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/27d95090b5a2a224b9dfc02d2ea368581/admin}, ee = {http://www.cambridge.org/core_title/gb/434611}, interhash = {019df688a7d71d7f4e6b557b79189827}, intrahash = {7d95090b5a2a224b9dfc02d2ea368581}, isbn = {9781107028364}, keywords = {}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, timestamp = {2023-12-12T17:17:54.000+0100}, title = {Temporal Logics in Computer Science: Finite-State Systems}, year = 2016 }