Towards Verifying Determinism of SystemC Design

@inproceedings{pub7138,
    author = {

Le, Hoang M.
 and 

Drechsler, Rolf
},
    title = {Towards Verifying Determinism of SystemC Design},
    booktitle = {Design, Automation & Test in Europe - Proceedings. Design, Automation & Test in Europe (DATE-14), March 24-28, Dresden, Germany},
    year = {2014},
    publisher = {IEEE}
}