| Property | Value |
|---|
|
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/pstv/1993>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Andr%E2%88%9A%C2%A9_A._S._Danthine>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Guy_Leduc>
|
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Pierre_Wolper>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Andr%E2%88%9A%C2%A9_A._S._Danthine>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Guy_Leduc>
|
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Pierre_Wolper>
|
|
dc:identifier
|
DBLP conf/pstv/1993
(xsd:string)
|
|
dc:identifier
|
ISBN 0-444-81648-8
(xsd:string)
|
|
swrc:isbn
|
ISBN 0-444-81648-8
(xsd:string)
|
|
dcterms:issued
|
1993
(xsd:gYear)
|
|
rdfs:label
|
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993
(xsd:string)
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Alilovic-CurgusV93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/AndraeGS93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/AzcorraVAV93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/BarkerB93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/BrinksmaE93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/BudkowskiABDGLFS93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/CourtiatS93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/DriraAV93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/FangHZ93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/GhribiL93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/GodefroidH93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/HaddadTZ93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/JanssenZ93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Karjoth93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/KelekarH93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/KritzingerW93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Lin93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Pecheur93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Regan93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/Turner93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/VissersSP93>
|
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/pstv/YaoPB93>
|
|
dc:publisher
|
North-Holland
(xsd:string)
|
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/pstv/1993/dblp>
|
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/pstv/1993>
|
|
owl:sameAs
|
<urn:isbn:0-444-81648-8>
|
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=0-444-81648-8>
|
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/pstv>
|
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/pstv/pstv1993.html>
|
|
dc:title
|
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993
(xsd:string)
|
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
|
rdf:type
|
swrc:Proceedings
|
|
rdf:type
|
foaf:Document
|
|
swrc:volume
|
C-16
(xsd:string)
|
![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)