MPG.eBooks - Search Results - "Models And Principles"

Cover Image

1

Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

by Halbwachs, Nicolas
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Models and Principles...”