
Tools and algorithms for the construction and analysis of systems
TACAS '96 (1996 Passau, Germany)

National Research Council Staff, Physical Sciences, Mathematics, and Applications Commission, Division on Engineering and Physical Sciences Staff · Jan 1, 1996 · 64 pages · eng
Catalog 0.0/10
Playlogs —
Loading…

TACAS '96 (1996 Passau, Germany)

Herre van Oostendorp

Cate Richards

Glenn L. Vanderburg

ACISP '96 (1996 Wollongong, N.S.W.)

Elaine Weinmann

1996

Shari Stamford Krause, Shari Stanford Krause

Dale Brown

B. T. O'Neill

John Arquilla

Madhu Siddalingaiah