%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 }