> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Alternative semantics for temporal logics Beteiligte: Emerson, E.Allen Erschienen: Elsevier BV, 1983 Erschienen in: Theoretical Computer Science, 26 (1983) 1-2, Seite 121-130 Sprache: Englisch DOI: 10.1016/0304-3975(83)90082-8 ISSN: 0304-3975 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang