Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid. Scandal: Systemc analysis for nondeterminism anomalies. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 112-119, IEEE, 2012. [doi]
@inproceedings{SchumacherWLA12,
title = {Scandal: Systemc analysis for nondeterminism anomalies},
author = {Christoph Schumacher and Jan Weinstock and Rainer Leupers and Gerd Ascheid},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6336995},
researchr = {https://researchr.org/publication/SchumacherWLA12},
cites = {0},
citedby = {0},
pages = {112-119},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1240-0},
}