Skip to contents Brinksma, Ed [Editor] ; European Educational Forum, Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal Lectures on formal methods and performance analysis : revised lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2090
Brinksma, Ed [Editor] ; European Educational Forum, Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal Lectures on formal methods and performance analysis : revised lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2090
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Creator Skip to next facet Brinksma, Ed (1) Wert ausschließen European Educational Forum (1) Wert ausschließen Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal (1) Wert ausschließen Show more show less