%0 Conference Paper %1 conf/dac/AbtsR99 %A Abts, Dennis %A Roberts, Mike %B DAC %D 1999 %E Irwin, Mary Jane %I ACM Press %K dblp %P 163-168 %T Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment. %U http://dblp.uni-trier.de/db/conf/dac/dac99.html#AbtsR99

@inproceedings{conf/dac/AbtsR99, added-at = {2017-03-16T00:00:00.000+0100}, author = {Abts, Dennis and Roberts, Mike}, biburl = {https://www.bibsonomy.org/bibtex/20ec50b59c34989b909eb200e575ba3c1/dblp}, booktitle = {DAC}, crossref = {conf/dac/1999}, editor = {Irwin, Mary Jane}, ee = {http://doi.acm.org/10.1145/309847.309907}, interhash = {f874cfaab7133da01a51fb2c4413c48c}, intrahash = {0ec50b59c34989b909eb200e575ba3c1}, keywords = {dblp}, pages = {163-168}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:28.000+0100}, title = {Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac99.html#AbtsR99}, year = 1999 }