Martin Elshuber, Susanne Kandl, Peter P. Puschner. Improving System-Level Verification of SystemC Models with SPIN. In Christine Choppy, Jun Sun 0001, editors, 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Volume 31 of OASICS, pages 74-79, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.