%0 Conference Paper %1 conf/memocode/GaravelHPS09 %A Garavel, Hubert %A Helmstetter, Claude %A Ponsini, Olivier %A Serwe, Wendelin %B MEMOCODE %D 2009 %I IEEE %K %P 46-55 %T Verification of an industrial SystemC/TLM model using LOTOS and CADP. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2009.html#GaravelHPS09 %@ 978-1-4244-4806-7

@inproceedings{conf/memocode/GaravelHPS09, added-at = {2023-12-13T04:02:10.000+0100}, author = {Garavel, Hubert and Helmstetter, Claude and Ponsini, Olivier and Serwe, Wendelin}, biburl = {https://www.bibsonomy.org/bibtex/2b2ee462475039d4b29144b4a88297d58/admin}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2009}, ee = {http://dl.acm.org/citation.cfm?id=1715765}, interhash = {91367f85b125b275f031d8f31099e2df}, intrahash = {b2ee462475039d4b29144b4a88297d58}, isbn = {978-1-4244-4806-7}, keywords = {}, pages = {46-55}, publisher = {IEEE}, timestamp = {2023-12-13T04:02:10.000+0100}, title = {Verification of an industrial SystemC/TLM model using LOTOS and CADP.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2009.html#GaravelHPS09}, year = 2009 }