> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol Beteiligte: Steggles, L.J.; Kosiuczenko, Piotr Erschienen: Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science, 15 (1998), Seite 83-104 Sprache: Englisch DOI: 10.1016/s1571-0661(05)82554-x ISSN: 1571-0661 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang