Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente





Professorship/Faculty: 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
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/44288
Year of publication: 13. August 2018

File SizeFormat  
ValidierungOCR_A3a.pdf318.88 kBPDFView/Open