%0
Generic
%T
Lectures on Formal Methods and PerformanceAnalysis
First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
%A Brinksma, Ed
%A Hermanns, Holger
%A Katoen, Joost-Pieter
%I Springer-Verlag Berlin Heidelberg
%@ 9783540446675
%@ 3540424792
%K Computer Communication Networks
%K Computer system performance
%K Logic design
%K Computer logic.
%K Computer system failures.
%K Computer communication systems.
%K Computer science
%K Computer Science
%K Software engineering
%K Computer engineering.
%K Computer networks .
%K Electronic digital computers
%K Formal methods (Computer science) Congresses
%K Konferenzschrift 2000 Berg-en-Dal
%K Konferenzschrift
%K Leistungsbewertung
%K Formale Methode
%D 2001
%X Literaturangaben
%C Springer-Verlag Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2