> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Partial Order Approach to Branching Time Logic Model Checking Beteiligte: Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech Erschienen: Elsevier BV, 1999 Erschienen in: Information and Computation, 150 (1999) 2, Seite 132-152 Sprache: Englisch DOI: 10.1006/inco.1998.2778 ISSN: 0890-5401 Schlagwörter: Computational Theory and Mathematics ; Computer Science Applications ; Information Systems ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang