Formal techniques for networked and distributed systems - forte 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006: proceedings / ed. E. Najm [et al.], 2006 r=on-line. - Текст : электронный.