MPG.eBooks - Search Results - "Passau"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

by Margaria, Tiziana
Published 1996

Springer

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

“... and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996...”