Inproceedings,
Deep Statistical Model Checking.
T. Gros, H. Hermanns, J. Hoffmann, M. Klauck, and M. Steinmetz.FORTE, volume 12136 of Lecture Notes in Computer Science, page 96-114. Springer, (2020)
Meta data
- BibTeX key
- conf/forte/GrosH0KS20
- entry type
- inproceedings
- booktitle
- FORTE
- year
- 2020
- pages
- 96-114
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 12136
- crossref
- conf/forte/2020
- ee
- https://doi.org/10.1007/978-3-030-50086-3_6
- isbn
- 978-3-030-50086-3
- url
- http://dblp.uni-trier.de/db/conf/forte/forte2020.html#GrosH0KS20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/forte/GrosH0KS20
%A Gros, Timo P.
%A Hermanns, Holger
%A Hoffmann, Jörg
%A Klauck, Michaela
%A Steinmetz, Marcel
%B FORTE
%D 2020
%E Gotsman, Alexey
%E Sokolova, Ana
%I Springer
%K dblp
%P 96-114
%T Deep Statistical Model Checking.
%U http://dblp.uni-trier.de/db/conf/forte/forte2020.html#GrosH0KS20
%V 12136
%@ 978-3-030-50086-3
@inproceedings{conf/forte/GrosH0KS20,
added-at = {2020-06-10T00:00:00.000+0200},
author = {Gros, Timo P. and Hermanns, Holger and Hoffmann, Jörg and Klauck, Michaela and Steinmetz, Marcel},
biburl = {https://www.bibsonomy.org/bibtex/2e6e1da6045d11c09e0789c96063d1447/dblp},
booktitle = {FORTE},
crossref = {conf/forte/2020},
editor = {Gotsman, Alexey and Sokolova, Ana},
ee = {https://doi.org/10.1007/978-3-030-50086-3_6},
interhash = {274c28161e55c890bb6da5fefdffb80d},
intrahash = {e6e1da6045d11c09e0789c96063d1447},
isbn = {978-3-030-50086-3},
keywords = {dblp},
pages = {96-114},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-06-11T11:40:20.000+0200},
title = {Deep Statistical Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/forte/forte2020.html#GrosH0KS20},
volume = 12136,
year = 2020
}