pdf-format: |
|
@TechReport{cullyer_et_al:DagSemRep.107, author = {Cullyer, William John and Halang, Wolfgang A. and Kr\"{a}mer, Bernd J.}, title = {{High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)}}, pages = {1--39}, ISSN = {1619-0203}, year = {1995}, type = {Dagstuhl Seminar Report}, number = {107}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14995}, URN = {urn:nbn:de:0030-drops-149955}, doi = {10.4230/DagSemRep.107}, }
Seminar: | Dagstuhl Seminar Reports | |
Issue date: | 2021 | |
Date of publication: | 07.06.1995 |