mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

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

Titel:: On Finite Domains in First-Order Linear Temporal Logic
Dokumenttyp:: Buchbeitrag
Autor(en):: Kuperberg, Denis; Brunel, Julien; Chemouil, David
Buchtitel:: Automated Technology for Verification and Analysis
Verlag / Institution:: Springer International Publishing
Jahr:: 2016
Seiten/Umfang:: 211-226
Print-ISBN:: 97833194651979783319465203
DOI:: doi:10.1007/978-3-319-46520-3_14
BibTeX

Vorkommen:

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)