%0 Conference Paper %1 conf/charme/GuptaAM99 %A Gupta, Aarti %A Ashar, Pranav %A Malik, Sharad %B CHARME %D 1999 %E Pierre, Laurence %E Kropf, Thomas %I Springer %K dblp %P 350-353 %T Exploiting Retiming in a Guided Simulation Based Validation Methodology. %U http://dblp.uni-trier.de/db/conf/charme/charme1999.html#GuptaAM99 %V 1703 %@ 3-540-66559-5

@inproceedings{conf/charme/GuptaAM99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Gupta, Aarti and Ashar, Pranav and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2063cb845f10dc4f2e74d60a8afac4c26/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1999}, editor = {Pierre, Laurence and Kropf, Thomas}, ee = {https://doi.org/10.1007/3-540-48153-2_32}, interhash = {1a3d3f5218b7ed08ffce8ae05425d82d}, intrahash = {063cb845f10dc4f2e74d60a8afac4c26}, isbn = {3-540-66559-5}, keywords = {dblp}, pages = {350-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:34.000+0200}, title = {Exploiting Retiming in a Guided Simulation Based Validation Methodology.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1999.html#GuptaAM99}, volume = 1703, year = 1999 }