Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}