> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: The expressive power of simple logical fragments over traces Beteiligte: Horsch, Martin [Verfasser:in]; Kufleitner, Manfred [Verfasser:in] Erschienen: Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart Erschienen in: Technischer Bericht ; 2006,6 Umfang: 17 S. Sprache: Englisch Identifikator: Schlagwörter: Temporale Logik ; Spur Art der Reproduktion: Online-Ausg. Hersteller der Reproduktion: Stuttgart: Universitätsbibliothek der Universität Stuttgart Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang