Brinksma, Ed. Hermanns, Holger. Ed. Katoen, Joost-Pieter. Ed.
Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 - Berlin Springer 2001 - 429 - Lecture notes in computer science ; 02090 .
3540424792
Formal Methods
Performance Analysis
681 LNCS
Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 - Berlin Springer 2001 - 429 - Lecture notes in computer science ; 02090 .
3540424792
Formal Methods
Performance Analysis
681 LNCS