%0 Conference Paper %1 conf/fmcad/AagaardDJ04 %A Aagaard, Mark D. %A Day, Nancy A. %A Jones, Robert B. %B FMCAD %D 2004 %E Hu, Alan J. %E Martin, Andrew K. %I Springer %K dblp %P 113-127 %T Synchronization-at-Retirement for Pipeline Verification. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#AagaardDJ04 %V 3312 %@ 3-540-23738-0

@inproceedings{conf/fmcad/AagaardDJ04, added-at = {2020-01-10T00:00:00.000+0100}, author = {Aagaard, Mark D. and Day, Nancy A. and Jones, Robert B.}, biburl = {https://www.bibsonomy.org/bibtex/2c23823a623ed4139f51674ddf76c8e7e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2004}, editor = {Hu, Alan J. and Martin, Andrew K.}, ee = {https://doi.org/10.1007/978-3-540-30494-4_9}, interhash = {f3069048981c887d73a42331a5ba0f85}, intrahash = {c23823a623ed4139f51674ddf76c8e7e}, isbn = {3-540-23738-0}, keywords = {dblp}, pages = {113-127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-11T11:44:51.000+0100}, title = {Synchronization-at-Retirement for Pipeline Verification.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#AagaardDJ04}, volume = 3312, year = 2004 }