%0 Conference Paper %1 conf/wotug/Singh07 %A Singh, Satnam %B CPA %D 2007 %E McEwan, Alistair A. %E Schneider, Steve A. %E Ifill, Wilson %E Welch, Peter H. %I IOS Press %K dblp %P 371-378 %T Hardware/Software Synthesis and Verification Using Esterel. %U http://dblp.uni-trier.de/db/conf/wotug/cpa2007.html#Singh07 %V 65 %@ 978-1-58603-767-3

@inproceedings{conf/wotug/Singh07, added-at = {2012-03-23T00:00:00.000+0100}, author = {Singh, Satnam}, biburl = {https://www.bibsonomy.org/bibtex/20aade4f2544817af3b2417817f7df373/dblp}, booktitle = {CPA}, crossref = {conf/wotug/2007}, editor = {McEwan, Alistair A. and Schneider, Steve A. and Ifill, Wilson and Welch, Peter H.}, ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5983}, interhash = {35bab7d40d15b2515410287690244882}, intrahash = {0aade4f2544817af3b2417817f7df373}, isbn = {978-1-58603-767-3}, keywords = {dblp}, pages = {371-378}, publisher = {IOS Press}, series = {Concurrent Systems Engineering Series}, timestamp = {2012-03-24T11:34:03.000+0100}, title = {Hardware/Software Synthesis and Verification Using Esterel.}, url = {http://dblp.uni-trier.de/db/conf/wotug/cpa2007.html#Singh07}, volume = 65, year = 2007 }