Bernardo, M., & Corradini, F. 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. Springer.
Style de citation Chicago (17e éd.)Bernardo, Marco, et Flavio Corradini. 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. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Bernardo, Marco, et Flavio Corradini. 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. Springer.