Repin, Denis

Lade...
Profilbild
E-Mail-Adresse
ORCID
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Repin
Vorname
Denis
Name
Weiterer Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 1 von 1
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    StochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks
    (2020) Repin, Denis; Phung, Nhat-Huy; Petrov, Tatjana
    Erschienen 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. Lecture Notes in Computer Science. 12289. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-59853-2. Available under: doi: 10.1007/978-3-030-59854-9_4