M.-D. Radola

Publication Activity (10 Years)

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

Publications

Jörg Desel, Klaus-Peter Neuendorf, M.-D. Radola
Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. 153 (1&2) (1996)