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

Proceedings (Cicr-96), October 8-10, 1996, Beijing, China
CIE International Conference of Radar (1996 Beijing, China), China) CIE International Conference of Radar (1996 : Beijing, Chih-Wen Liu, Shih Neng-Ching, Ssu-Yung Chou · Jan 1, 1996 · 794 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

National Research Council Staff, Physical Sciences, Mathematics, and Applications Commission, Division on Engineering and Physical Sciences Staff

Madhu Siddalingaiah