{"inproceedings":{"@attributes":{"key":"conf\/microcomputing\/DernoschekK83","mdate":"2002-09-20"},"author":["Franz Dernoschek","Heinrich Krebs"],"title":"Entwurf und Pr\u00fcfung sicherer Rechnersysteme.","pages":"277-301","year":"1983","crossref":"conf\/microcomputing\/1983","booktitle":"Microcomputing","url":"db\/conf\/microcomputing\/microcomputing1983.html#DernoschekK83"}}