TY - BOOK
AU - European Educational Forum
AU - Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal
AU - Brinksma, Ed
TI - Lectures on formal methods and performance analysis revised lectures
PB - Springer
SN - 3540424792
KW - Formal methods (Computer science) Congresses
KW - Konferenzschrift 2000 Berg-en-Dal
KW - Leistungsbewertung
KW - Formale Methode
PY - 2001
N2 - Literaturangaben
BT - Lecture notes in computer science ; 2090
BT - Tutorial
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation