(2007). 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 / Marco Bernardo, Jane Hillston (eds.).
Citace podle Chicago (17th ed.)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 / Marco Bernardo, Jane Hillston (eds.). 2007.
Citace podle MLA (9th ed.)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 / Marco Bernardo, Jane Hillston (eds.). 2007.