> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Optimal reachability for multi-priced timed automata Beteiligte: Larsen, Kim Guldstrand; Rasmussen, Jacob Illum Erschienen: Elsevier BV, 2008 Erschienen in: Theoretical Computer Science Sprache: Englisch DOI: 10.1016/j.tcs.2007.09.021 ISSN: 0304-3975 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang