Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
FORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1
Berlin Springer New York c2007
Localização: IME - Inst. Matemática e Estatística (S L471c v.4574 )(Acessar)