Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... International Symposium on Protocol Specification, Testing, and Verification

LDR 01198nas a22002651a 4500
001 002487005
003 MiAaHDL
005 20210817000000.0
006 m d
007 cr bn ---auaua
008 911202c19899999ne ar 1 | 0eng d
010 ⊔ ⊔ ‡asn 90035386
035 ⊔ ⊔ ‡a(MiU)990024870050106381
035 ⊔ ⊔ ‡asdr-miu.990024870050106381
035 ⊔ ⊔ ‡asdr-uva.u2500726
035 ⊔ ⊔ ‡asdr-nrlf.b167808412
035 ⊔ ⊔ ‡a(OCoLC)22195702
035 ⊔ ⊔ ‡a(RLIN)MIUG91-S3219
035 ⊔ ⊔ ‡z(MiU)Aleph002487005
040 ⊔ ⊔ ‡aPPiU ‡cPPiU ‡dMiU
042 ⊔ ⊔ ‡alcd
111 2 ⊔ ‡aIFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification.
245 1 0 ‡aProtocol specification, testing, and verification : ‡bproceedings of the IFIP WG 6.1 ... International Symposium on Protocol Specification, Testing, and Verification.
260 ⊔ ⊔ ‡aAmsterdam ; ‡aNew York : ‡bNorth-Holland ; ‡aNew York : ‡bElsevier Science Pub. Co., distributor, ‡cc1990-
300 ⊔ ⊔ ‡av. : ‡bill. ; ‡c23 cm.
310 ⊔ ⊔ ‡aAnnual
362 0 ⊔ ‡a9th (6-9 June, 1989)-
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aComputer network protocols ‡vCongresses.
710 2 ⊔ ‡aIFIP Working Group 6.1.
780 0 0 ‡aIFIP WG 6.1 International Conference on Protocol Specification, Testing, and Verification. ‡tProtocol specification, testing, and verification ‡w(OCoLC)19320808 ‡w(DLC) 89647915
CID ⊔ ⊔ ‡a002487005
DAT 0 ⊔ ‡a19911202000000.0 ‡b20210817000000.0
DAT 1 ⊔ ‡a20210918060716.0 ‡b2023-04-30T17:42:22Z
CAT ⊔ ⊔ ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008
FMT ⊔ ⊔ ‡aSE
HOL ⊔ ⊔ ‡0sdr-miu.990024870050106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015021692366 ‡sMIU ‡z1989 ‡1990024870050106381
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230430 ‡sgoogle ‡umdp.39015021692366 ‡z1989 ‡y1989 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20241006 ‡sgoogle ‡umdp.39015019847063 ‡z1990 ‡y1990 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230719 ‡sgoogle ‡umdp.39015023849584 ‡z1991 ‡y1991 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230430 ‡sgoogle ‡umdp.39015028259813 ‡z1992 ‡y1992 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20230722 ‡sgoogle ‡umdp.39015039957785 ‡z1995 ‡y1995 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUVA ‡cUVA ‡d20231013 ‡sgoogle ‡uuva.x001509836 ‡z8th 1988 ‡y1988 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUVA ‡cUVA ‡d20171213 ‡sgoogle ‡uuva.x002624151 ‡z14th 1994 ‡y1994 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20231220 ‡sgoogle ‡uuc1.b4345966 ‡z1988 ‡y1988 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20231220 ‡sgoogle ‡uuc1.b4345967 ‡z1989 ‡y1989 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20240919 ‡sgoogle ‡uuc1.b4492000 ‡z1990 ‡y1990 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20240919 ‡sgoogle ‡uuc1.b4492001 ‡z1991 ‡y1991 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20231221 ‡sgoogle ‡uuc1.b4555298 ‡z1992 ‡y1992 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20231221 ‡sgoogle ‡uuc1.b4595609 ‡z1993 ‡y1993 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20161126 ‡sgoogle ‡uuc1.b4595610 ‡z1994 ‡y1994 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ⊔ ⊔ ‡bUC ‡cNRLF ‡d20231221 ‡sgoogle ‡uuc1.b4595611 ‡z1995 ‡y1995 ‡ric ‡qbib ‡tnon-US serial item date >= 1930