Constantin Shushpanov

Publication Activity (10 Years)

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

Top Topics

Formal Analysis

Connectionist Learning

Top Venues

ICTERI (Revised Selected Papers)

Publications

Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
Specializations and Symbolic Modeling. ICTERI (2013)
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
Specializations in Symbolic Verification. ICTERI (Revised Selected Papers) (2013)