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
|
