%0 Journal Article %1 journals/fmsd/KurshanLMPY02 %A Kurshan, Robert P. %A Levin, Vladimir %A Minea, Marius %A Peled, Doron A. %A Yenigün, Hüsnü %D 2002 %J Formal Methods Syst. Des. %K dblp %N 3 %P 251-280 %T Combining Software and Hardware Verification Techniques. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd21.html#KurshanLMPY02 %V 21

@article{journals/fmsd/KurshanLMPY02, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kurshan, Robert P. and Levin, Vladimir and Minea, Marius and Peled, Doron A. and Yenigün, Hüsnü}, biburl = {https://www.bibsonomy.org/bibtex/2fc28d9634c5c1139dcc9644fea8f1548/dblp}, ee = {https://doi.org/10.1023/A:1020383505582}, interhash = {8844c9b24fafc4ccf13734635f0196e6}, intrahash = {fc28d9634c5c1139dcc9644fea8f1548}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {251-280}, timestamp = {2020-03-14T11:51:10.000+0100}, title = {Combining Software and Hardware Verification Techniques.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd21.html#KurshanLMPY02}, volume = 21, year = 2002 }