%0 Conference Paper %1 conf/hvc/DoucetSKJG07 %A Doucet, Frederic %A Shyamasundar, R. K. %A Krüger, Ingolf H. %A Joshi, Saurabh %A Gupta, Rajesh K. %B Haifa Verification Conference %D 2007 %E Yorav, Karen %I Springer %K dblp %P 34-50 %T Reactivity in SystemC Transaction-Level Models. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#DoucetSKJG07 %V 4899 %@ 978-3-540-77964-3

@inproceedings{conf/hvc/DoucetSKJG07, added-at = {2018-02-05T00:00:00.000+0100}, author = {Doucet, Frederic and Shyamasundar, R. K. and Krüger, Ingolf H. and Joshi, Saurabh and Gupta, Rajesh K.}, biburl = {https://www.bibsonomy.org/bibtex/20e0b57fd580e7c359342384edecb6973/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2007}, editor = {Yorav, Karen}, ee = {https://doi.org/10.1007/978-3-540-77966-7_7}, interhash = {15709c9e1864ed34eaf56d4677c038f1}, intrahash = {0e0b57fd580e7c359342384edecb6973}, isbn = {978-3-540-77964-3}, keywords = {dblp}, pages = {34-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Reactivity in SystemC Transaction-Level Models.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#DoucetSKJG07}, volume = 4899, year = 2007 }