Marco Bernardo, Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Volume 3185 of Lecture Notes in Computer Science, Springer, 2004.
Conference: sfm2004
@proceedings{sfm:2004,
title = {Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures},
year = {2004},
tags = {design},
researchr = {https://researchr.org/publication/sfm%3A2004},
cites = {0},
citedby = {0},
booktitle = {Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures},
conference = {sfm},
editor = {Marco Bernardo and Flavio Corradini},
volume = {3185},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23068-8},
}