mediaTUM - Media and Publication Server

User: Guest

10.1007/978-3-319-46520-3_14

Title:: On Finite Domains in First-Order Linear Temporal Logic
Document type:: Buchbeitrag
Author(s):: Kuperberg, Denis; Brunel, Julien; Chemouil, David
Book title:: Automated Technology for Verification and Analysis
Publisher:: Springer International Publishing
Year:: 2016
Pages:: 211-226
Print-ISBN:: 97833194651979783319465203
DOI:: doi:10.1007/978-3-319-46520-3_14
BibTeX

Occurrences:

mediaTUM Gesamtbestand Einrichtungen Forschungszentren Institute for Advanced Study (IAS)Research Areas Research Area: Control Theory, Systems Engineering and Robotics Alumni Focus Groups Focus Group: Automated Controller Synthesis

mediaTUM Gesamtbestand Hochschulbibliographie 2016 Integrated Research Centers Institute for Advanced Study (IAS)