%0 Conference Paper %1 conf/dac/SampathRR14 %A Sampath, Prahladavaradan %A Rajeev, A. C. %A Ramesh, S. %B DAC %D 2014 %I ACM %K %P 23:1-23:6 %T Translation Validation for Stateflow to C. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#SampathRR14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/SampathRR14, added-at = {2023-12-12T18:00:02.000+0100}, author = {Sampath, Prahladavaradan and Rajeev, A. C. and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/23b4a5f9d04d5c153e4948430baa4254b/admin}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593237}, interhash = {0bee4e47ba69ba5c4f948923ccd4ff95}, intrahash = {3b4a5f9d04d5c153e4948430baa4254b}, isbn = {978-1-4503-2730-5}, keywords = {}, pages = {23:1-23:6}, publisher = {ACM}, timestamp = {2023-12-12T18:00:02.000+0100}, title = {Translation Validation for Stateflow to C.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#SampathRR14}, year = 2014 }