Repin, Denis
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Repin
Vorname
Denis
Name
1 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 1 von 1
- VeröffentlichungBeitrag zu einem KonferenzbandStochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks(2020) Repin, Denis; Phung, Nhat-Huy; Petrov, TatjanaErschienen in: GRIBAUDO, Marco, ed., David N. JANSEN, ed., Anne REMKE, ed.. Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Cham: Springer, 2020, pp. 27-32. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-59853-2. Available under: doi: 10.1007/978-3-030-59854-9_4