Media type: Doctoral Thesis; Electronic Thesis; E-Book Title: Anchored Separation of Linear Temporal Logic and its Applications Contributor: Maretić, Grgur P. [Author] Published: ETH-Zürich, 2015 Language: English DOI: https://doi.org/20.500.11850/113632; https://doi.org/10.3929/ethz-a-010602014 Keywords: TEMPORAL LOGIC (MATHEMATICAL LOGIC) ; TEMPORALLOGIK (MATHEMATISCHE LOGIK) ; Mathematics Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted