R. C. · Rance Cleaveland · W.C. · W R
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992: Proceedings | 978-0-387-55822-6 (0-387-55822-5) | 1992 | ||
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science , Band 1019) | 978-3-540-60630-7 (3-540-60630-0) | 2008 | Kim G. Larsen · Bernhard Steffen · Tiziana Margaria · Ed Brinksma | |
| Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European ... Notes in Computer Science, Band 1579) | 978-3-540-65703-3 (3-540-65703-7) | 2008 | ||