%0 Journal Article %1 journals/corr/Wang0YP16 %A Wang, Jingyi %A Sun, Jun %A Yuan, Qixia %A Pang, Jun %D 2016 %J CoRR %K %T Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. %U http://dblp.uni-trier.de/db/journals/corr/corr1605.html#Wang0YP16 %V abs/1605.08278

@article{journals/corr/Wang0YP16, added-at = {2023-12-14T16:45:12.000+0100}, author = {Wang, Jingyi and Sun, Jun and Yuan, Qixia and Pang, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2eb38e7bbadd568cd6409ebb853d8d53f/admin}, ee = {http://arxiv.org/abs/1605.08278}, interhash = {fcab216916dcdc278fcecd3b62bb596c}, intrahash = {eb38e7bbadd568cd6409ebb853d8d53f}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:45:12.000+0100}, title = {Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1605.html#Wang0YP16}, volume = {abs/1605.08278}, year = 2016 }