Alexej Tovchigrechko

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Martin Schwarick, Alexej Tovchigrechko
IDD-based model validation of biochemical networks. Theor. Comput. Sci. 412 (26) (2011)
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets (2009)