G. Krasovec

Publication Activity (10 Years)

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

Publications

G. Krasovec, N. Shankar, P. Ward
Integration of formal verification with real-time design. WORDS (1996)