Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
E. Brinksma ... [et al.] (eds.)
Bok Engelsk 1995 TACAS '95
Utgitt | Berlin : Springer , c1995
|
---|---|
Omfang | 289 s. : fig.
|
Emner | |
ISBN | 3540606300
|