Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente

Reinhardt, Tilmann; Mendler, Michael; Stroup, Terry
Bamberg : opus, 2018.
DOI: 10.20378/irbo-52665

Faculty/Professorship:	Foundations of Computer Science
Author(s):	Reinhardt, Tilmann; Mendler, Michael ; Stroup, Terry
Publisher Information:	Bamberg : opus
Year of publication:	2018
Pages:	2
Source/Other editions:	Ursprünglich in: Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme : Vorträge der ITG-Fachtagung am 23. und 24. November 1992 in Darmstadt / Wiss. Tagungsleitung: Manfred Glesner. - Berlin [u.a.], 1992. - (Informationstechnische Gesellschaft: ITG-Fachberichte ; 122), Seite 273-274
Year of first publication:	1992
Language(s):	English
Remark:	Retrodigitalisat
DOI:	10.20378/irbo-52665
Licence:	German Act on Copyright
URN:	urn:nbn:de:bvb:473-opus4-526653
Type:	Contribution to an Articlecollection
URI:	https://fis.uni-bamberg.de/handle/uniba/44288
Year of publication:	13. August 2018