> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Specification and automatic verification of self-timed queues Beteiligte: Dill, David L.; Nowick, Steven M.; Sproull, Robert F. Erschienen: Springer Science and Business Media LLC, 1992 Erschienen in: Formal Methods in System Design, 1 (1992) 1, Seite 29-60 Sprache: Englisch DOI: 10.1007/bf00464356 ISSN: 0925-9856; 1572-8102 Schlagwörter: Hardware and Architecture ; Theoretical Computer Science ; Software Entstehung: Anmerkungen: