%0 Conference Paper %1 conf/qest/RepinPP20 %A Repin, Denis %A Phung, Nhat-Huy %A Petrov, Tatjana %B QEST %D 2020 %E Gribaudo, Marco %E Jansen, David N. %E Remke, Anne %I Springer %K dblp %P 27-32 %T StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. %U http://dblp.uni-trier.de/db/conf/qest/qest2020.html#RepinPP20 %V 12289 %@ 978-3-030-59854-9

@inproceedings{conf/qest/RepinPP20, added-at = {2020-11-14T00:00:00.000+0100}, author = {Repin, Denis and Phung, Nhat-Huy and Petrov, Tatjana}, biburl = {https://www.bibsonomy.org/bibtex/2c4bd62e189c8062ae3232dd53719c1ed/dblp}, booktitle = {QEST}, crossref = {conf/qest/2020}, editor = {Gribaudo, Marco and Jansen, David N. and Remke, Anne}, ee = {https://doi.org/10.1007/978-3-030-59854-9_4}, interhash = {7e215125da74b6e50f95484ed12bcd7c}, intrahash = {c4bd62e189c8062ae3232dd53719c1ed}, isbn = {978-3-030-59854-9}, keywords = {dblp}, pages = {27-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-15T11:37:33.000+0100}, title = {StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2020.html#RepinPP20}, volume = 12289, year = 2020 }