01234oam 2200301z- 450 99646531940331620210114035205.0(CKB)1000000000212558(MiAaPQ)EBC3088661(EXLCZ)99100000000021255820201222c2004uuuu -u- -engFormal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /David de Frutos-Escrig, Manuel Núñez, editorsSpringer Berlin / Heidelberg3-540-23252-4 Formal methods (Computer science)CongressesElectronic data processingDistributed processingCongressesComputer network protocolsCongressesFormal methods (Computer science)Electronic data processingDistributed processingComputer network protocolsNúñez Manuel46583Frutos-Escrig David de867302IFIP Working Group 6.1.BOOK996465319403316Formal Techniques for Networked and Distributed Systems - FORTE 20041935986UNISA