Person:
Repin, Denis

Profile Picture
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Repin
First Name
Denis
Name

Filters

20201
1
Reset filters

Settings

Type: Contribution to a conference collection ×

Search Results

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    StochNetV2 : A Tool for Automated Deep Abstractions for Stochastic Reaction Networks
    (2020) Repin, Denis; Phung, Nhat-Huy; Petrov, Tatjana
    Published in: Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / Gribaudo, Marco; Jansen, David N.; Remke, Anne (ed.). - Cham : Springer, 2020. - (Lecture Notes in Computer Science ; 12289). - pp. 27-32. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-59853-2