%0 Journal Article %1 journals/smr/NgoL18 %A Ngo, Van Chan %A Legay, Axel %D 2018 %J Journal of Software: Evolution and Process %K dblp %N 3 %T Formal verification of probabilistic SystemC models with statistical model checking. %U http://dblp.uni-trier.de/db/journals/smr/smr30.html#NgoL18 %V 30

@article{journals/smr/NgoL18, added-at = {2018-06-01T00:00:00.000+0200}, author = {Ngo, Van Chan and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2d766ac12709a82b51b9a230c09305064/dblp}, ee = {https://doi.org/10.1002/smr.1890}, interhash = {59c1219c453bf0d110020910fb5f3363}, intrahash = {d766ac12709a82b51b9a230c09305064}, journal = {Journal of Software: Evolution and Process}, keywords = {dblp}, number = 3, timestamp = {2018-06-02T11:39:20.000+0200}, title = {Formal verification of probabilistic SystemC models with statistical model checking.}, url = {http://dblp.uni-trier.de/db/journals/smr/smr30.html#NgoL18}, volume = 30, year = 2018 }