%0 Conference Paper %1 conf/pads/LiuRB06 %A Liu, Xinyu %A Jr., Paul F. Reynolds %A Brogan, David C. %B PADS %D 2006 %I IEEE Computer Society %K dblp %P 119-128 %T Using Abstraction in the Verification of Simulation Coercion. %U http://dblp.uni-trier.de/db/conf/pads/pads2006.html#LiuRB06 %@ 0-7695-2587-3

@inproceedings{conf/pads/LiuRB06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Liu, Xinyu and Jr., Paul F. Reynolds and Brogan, David C.}, biburl = {https://www.bibsonomy.org/bibtex/20e1ec16284b4ec19ad143200fc154f5f/dblp}, booktitle = {PADS}, crossref = {conf/pads/2006}, ee = {http://dl.acm.org/citation.cfm?id=1136863}, interhash = {9cb762b03ad0485ab942288cf27868f7}, intrahash = {0e1ec16284b4ec19ad143200fc154f5f}, isbn = {0-7695-2587-3}, keywords = {dblp}, pages = {119-128}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:09:55.000+0200}, title = {Using Abstraction in the Verification of Simulation Coercion.}, url = {http://dblp.uni-trier.de/db/conf/pads/pads2006.html#LiuRB06}, year = 2006 }