Alexey B. Belyaev

Publication Activity (10 Years)

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

Publications

Irina V. Shoshmina, Alexey B. Belyaev
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. PaCT (2011)