Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/vis/HalangKV95
%A Halang, Wolfgang A.
%A Krämer, Bernd J.
%A Völker, Norbert
%B VIS
%D 1995
%E Brüggemann, Hans Hermann
%E Gerhardt-Häckl, Waltraud
%I Vieweg
%K dblp
%P 229-
%T Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
%U http://dblp.uni-trier.de/db/conf/vis/vis95.html#HalangKV95
%@ 3-528-05483-2
@inproceedings{conf/vis/HalangKV95,
added-at = {2016-11-15T00:00:00.000+0100},
author = {Halang, Wolfgang A. and Krämer, Bernd J. and Völker, Norbert},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26627930df5ff1ca57a11790e0d182a23/dblp},
booktitle = {VIS},
crossref = {conf/vis/1995},
editor = {Brüggemann, Hans Hermann and Gerhardt-Häckl, Waltraud},
interhash = {6b129c9a351c606e7d7ea5d361d7907f},
intrahash = {6627930df5ff1ca57a11790e0d182a23},
isbn = {3-528-05483-2},
keywords = {dblp},
pages = {229-},
publisher = {Vieweg},
timestamp = {2016-11-16T10:38:45.000+0100},
title = {Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.},
url = {http://dblp.uni-trier.de/db/conf/vis/vis95.html#HalangKV95},
year = 1995
}