TY  - BOOK
AU  - Bernardo,Marco
AU  - Hillston,J.
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems
TI  - Formal methods for performance evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures 
SN  - 3540724826 (pbk.)
PY  - 2007///
CY  - Berlin
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Integrated circuits
KW  - Verification
N1  - Lectures; Includes bibliographical references and index; Online version also available
UR  - http://ebooks.ohiolink.edu/xtf-ebc/view?docId=tei/sv/9783540725220/9783540725220.xml
ER  -