Martin Lange (lange-ma)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Demri, Stéphane, Goranko, Valentin and Lange, Martin. 2016. Temporal Logics in Computer Science: Finite-State Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139236119.