John Derrick, Jüri Vain
Education , International Conferences and SymposiumsFormal techniques for networked and distributed systems– FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings
Free Download
