Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ftcs/KanawatiKA92
%A Kanawati, Ghani A.
%A Kanawati, Nasser A.
%A Abraham, Jacob A.
%B FTCS
%D 1992
%I IEEE Computer Society
%K dblp
%P 336-344
%T FERRARI: A Tool for The Validation of System Dependability Properties.
%U http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#KanawatiKA92
%@ 0-8186-2875-8
@inproceedings{conf/ftcs/KanawatiKA92,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Kanawati, Ghani A. and Kanawati, Nasser A. and Abraham, Jacob A.},
biburl = {https://www.bibsonomy.org/bibtex/26e8e0113331769bbda937c42781ef683/dblp},
booktitle = {FTCS},
crossref = {conf/ftcs/1992},
ee = {https://doi.org/10.1109/FTCS.1992.243567},
interhash = {8214da39adb2d413f90808c791538d3d},
intrahash = {6e8e0113331769bbda937c42781ef683},
isbn = {0-8186-2875-8},
keywords = {dblp},
pages = {336-344},
publisher = {IEEE Computer Society},
timestamp = {2019-10-17T13:30:36.000+0200},
title = {FERRARI: A Tool for The Validation of System Dependability Properties.},
url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#KanawatiKA92},
year = 1992
}