%0 Conference Paper %1 conf/fpl/CochranKS03 %A Cochran, John %A Kapur, Deepak %A Stefanovic, Darko %B FPL %D 2003 %E Cheung, Peter Y. K. %E Constantinides, George A. %E de Sousa, José T. %I Springer %K dblp %P 996-999 %T Model Checking Reconfigurable Processor Configurations for Safety Properties. %U http://dblp.uni-trier.de/db/conf/fpl/fpl2003.html#CochranKS03 %V 2778 %@ 3-540-40822-3

@inproceedings{conf/fpl/CochranKS03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Cochran, John and Kapur, Deepak and Stefanovic, Darko}, biburl = {https://www.bibsonomy.org/bibtex/227d97c8f54159a5eae1507da80e48758/dblp}, booktitle = {FPL}, crossref = {conf/fpl/2003}, editor = {Cheung, Peter Y. K. and Constantinides, George A. and de Sousa, José T.}, ee = {https://doi.org/10.1007/978-3-540-45234-8_104}, interhash = {cd3f7de53ad52f5cf88cb188cfd91033}, intrahash = {27d97c8f54159a5eae1507da80e48758}, isbn = {3-540-40822-3}, keywords = {dblp}, pages = {996-999}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:14:37.000+0200}, title = {Model Checking Reconfigurable Processor Configurations for Safety Properties.}, url = {http://dblp.uni-trier.de/db/conf/fpl/fpl2003.html#CochranKS03}, volume = 2778, year = 2003 }