Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004

Б2.15, Б2.2.

Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004Ed. by Bernardo M., Corradini F..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3185.-295 p.-(Lecture Notes in Computer Science).