search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Alexey A. Tovchigrechko

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Transition Systems

Automated Verification

Linear Temporal Logic

Top Venues

Trans. Petri Nets Other Model. Concurr.

Brandenburg University of Technology, Cottbus - Senftenberg, Germany (PHD)

Education History

Brandenburg University of Technology, Cottbus - Senftenberg, Germany

PHD

Publications

Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
MARCIE's Secrets of Efficient Model Checking. Trans. Petri Nets Other Model. Concurr. 11 (2016)