LEADER 01234oam  2200301z- 450 
001 996465319403316
005 20210114035205.0
035   $a(CKB)1000000000212558
035   $a(MiAaPQ)EBC3088661
035   $a(EXLCZ)991000000000212558
100   $a20201222c2004uuuu  -u-            -
101 0 $aeng
200 10$aFormal techniques for networked and distributed systems-- FORTE 2004 $e24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /$fDavid de Frutos-Escrig, Manuel Nu?n?ez, editors
210   $cSpringer Berlin / Heidelberg
311   $a3-540-23252-4 
606   $aFormal methods (Computer science)$vCongresses
606   $aElectronic data processing$xDistributed processing$vCongresses
606   $aComputer network protocols$vCongresses
615  0$aFormal methods (Computer science)
615  0$aElectronic data processing$xDistributed processing
615  0$aComputer network protocols
701   $aNúñez$b Manuel$046583
701   $aFrutos-Escrig$b David de$0867302
712 02$aIFIP Working Group 6.1.
906   $aBOOK
912   $a996465319403316
996   $aFormal Techniques for Networked and Distributed Systems - FORTE 2004$91935986
997   $aUNISA