Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
author
Derrick, John
statement of authorship
John Derrick, Jüri Vain (eds.) [and preface]
location of publication
Berlin
publisher
year of publication
pages
373, [3] p
series
Lecture notes in computer science ; 4574
subject term
subject of form
ISBN
978-3-540-73195-5
language
inglise
Derrick, J., Vain, J. (eds.). Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. Berlin : Springer, 2007. 373, [3] p. (Lecture notes in computer science ; 4574).