Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/pstv/1983>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Colin_H._West>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Harry_Rudin>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Colin_H._West>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Harry_Rudin>
|
dc:identifier
|
DBLP conf/pstv/1983
(xsd:string)
|
dc:identifier
|
ISBN 0-444-86769-4
(xsd:string)
|
swrc:isbn
|
ISBN 0-444-86769-4
(xsd:string)
|
dcterms:issued
|
1983
(xsd:gYear)
|
rdfs:label
|
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, R√ľschlikon, Switzerland, 31 May - 2 June, 1983
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AggarwalK83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AggarwalKS83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AggarwalKS83a>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AnsaldiBOT83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AnsartCS83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AnttilaEIKOT83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/AyacheC83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/BaratzS83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Billiard83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Billington83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/BlumerS83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/BudkowskiN83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Cork83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/CowinHR83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/EckertP83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/FlorinNWA83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Giessler83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Gouda83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/GustavssonP83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Harvey83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/HolzmannB83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/JuanoleA83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Karjoth83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/KrummD83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/LinnM83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/LinnN83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Logrippo83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/MenascheB83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/PalazzoFM83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Pehrson83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/ProbertU83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/RafiqA83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Rayner83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Restorick83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Rudin83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/SchwartzMV83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Sidhu83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/StromY83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Sunshine83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/UralP83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Walter83>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/ifip/YeminiN83>
|
dc:publisher
|
North-Holland
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/pstv/1983/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/pstv/1983>
|
owl:sameAs
|
<urn:isbn:0-444-86769-4>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=0-444-86769-4>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/pstv>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/ifip/pstv83.html>
|
dc:title
|
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, R√ľschlikon, Switzerland, 31 May - 2 June, 1983
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|