Tools and algorithms for the construction and analysis of systems：second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Corporate Authors: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996 Passau, Germany)
Group Author: Steffen Bernhard; Margaria Tiziana
Published: Springer,
Publication Dates: c1996.
Call Number: TP338.8-532/T671/1996/