%0 Conference Paper %1 conf/hase/WangH98 %A Wang, Farn %A Hsiung, Pao-Ann %B HASE %D 1998 %I IEEE Computer Society %K dblp %P 134-141 %T Automatic Verification on the Large. %U http://dblp.uni-trier.de/db/conf/hase/hase1998.html#WangH98 %@ 0-8186-9221-9

@inproceedings{conf/hase/WangH98, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Farn and Hsiung, Pao-Ann}, biburl = {https://www.bibsonomy.org/bibtex/258fb7be6fe0a4ea7a4ba301cc1f3ee97/dblp}, booktitle = {HASE}, crossref = {conf/hase/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.1998.731605}, interhash = {d4901ac2792e3bf14272614a692f83eb}, intrahash = {58fb7be6fe0a4ea7a4ba301cc1f3ee97}, isbn = {0-8186-9221-9}, keywords = {dblp}, pages = {134-141}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:00:30.000+0200}, title = {Automatic Verification on the Large.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase1998.html#WangH98}, year = 1998 }