%0 Conference Paper %1 conf/aspdac/RoyIN00 %A Roy, Subir K. %A Iwashita, Hiroaki %A Nakata, Tsuneo %B ASP-DAC %D 2000 %I ACM %K dblp %P 77-80 %T Formal verification based on assume and guarantee approach - a case study (short paper). %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2000.html#RoyIN00 %@ 0-7803-5974-7

@inproceedings{conf/aspdac/RoyIN00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Roy, Subir K. and Iwashita, Hiroaki and Nakata, Tsuneo}, biburl = {https://www.bibsonomy.org/bibtex/2852b2033212d446456ccfba529881e5e/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2000.835074}, interhash = {67aaae89a27cce0e91049184543e65ce}, intrahash = {852b2033212d446456ccfba529881e5e}, isbn = {0-7803-5974-7}, keywords = {dblp}, pages = {77-80}, publisher = {ACM}, timestamp = {2024-04-10T04:15:39.000+0200}, title = {Formal verification based on assume and guarantee approach - a case study (short paper).}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2000.html#RoyIN00}, year = 2000 }