Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings
FORTE 2008 (2008 Tokyo, Japan) Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih; Kenji Suzuki Dr. Eng
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.5048 ) e outros locais(Acessar)