> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Preface : Preface Beteiligte: Ábrahám, Erika; Bogomolov, Sergiy Erschienen: Open Publishing Association, 2017 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 247 (2017) Sprache: Englisch DOI: 10.4204/eptcs.247.0 ISSN: 2075-2180 Schlagwörter: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang