%0 Book
%T Lectures on formal methods and performance analysis revised lectures
%A European Educational Forum
%A Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal
%A Brinksma, Ed
%I Springer
%@ 3540424792
%K Formal methods (Computer science) Congresses
%K Konferenzschrift 2000 Berg-en-Dal
%K Leistungsbewertung
%K Formale Methode
%D 2001
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation