%0 Conference Paper %1 conf/iccd/TaharK93 %A Tahar, Sofiène %A Kumar, Ramayya %B ICCD %D 1993 %I IEEE Computer Society %K dblp %P 58-62 %T Towards a Methodology for the Formal Hierarchical Verification. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1993.html#TaharK93 %@ 0-8186-4230-0

@inproceedings{conf/iccd/TaharK93, added-at = {2019-02-11T00:00:00.000+0100}, author = {Tahar, Sofiène and Kumar, Ramayya}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/276e888eac49ad3ff21d1473938c3efb8/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1993}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.1993.393405}, interhash = {0a60491f346fdc67a8d98d47e49bc1de}, intrahash = {76e888eac49ad3ff21d1473938c3efb8}, isbn = {0-8186-4230-0}, keywords = {dblp}, pages = {58-62}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T16:39:17.000+0200}, title = {Towards a Methodology for the Formal Hierarchical Verification.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1993.html#TaharK93}, year = 1993 }