Shape Analysis and Applications.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/books/crc/CRCcompiler2002/WilhelmRS02
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/books/crc/CRCcompiler2002/WilhelmRS02
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Reinhard_Wilhelm
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Shmuel_Sagiv
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Thomas_W._Reps
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1201%2F9781420040579.ch5
>
foaf:
homepage
<
https://doi.org/10.1201/9781420040579.ch5
>
dc:
identifier
DBLP books/crc/CRCcompiler2002/WilhelmRS02
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1201%2F9781420040579.ch5
(xsd:string)
dcterms:
issued
2002
(xsd:gYear)
rdfs:
label
Shape Analysis and Applications.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Reinhard_Wilhelm
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Shmuel_Sagiv
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Thomas_W._Reps
>
swrc:
pages
175-218
(xsd:string)
dcterms:
partOf
<
https://dblp.l3s.de/d2r/resource/publications/books/crc/Compiler02
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/cs/Ullman89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/sp/cstoday95/ClarkeJ95
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/cc/WilhelmSR00
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/esop/HuthJS01
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/esop/RossS98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/ics/CorberaAZ99
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Reynolds68
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/issta/Lev-AmiRSW00
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/lcpc/HwangS97
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/paste/DorRS98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/BodikGS98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/ChaseWZ90
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/EmamiGH94
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/FahndrichFSA98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/HeintzeT01a
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/HendrenHN92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/HorwitzPR89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pldi/LarusH88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/CousotC79
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/KuckKPLW81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Nelson83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/SagivRW99
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/ShapiroH97
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Steensgaard96
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/Yahav01
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sas/DorRS00
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sas/Lev-AmiS00
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sas/UngureanuJ00
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sde/OttensteinO84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/acta/SagivFRW98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/isci/Moller99
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/njc/RossS98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/toplas/FerranteOW87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/toplas/SagivRW02
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/toplas/SagivRW98
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/books/crc/CRCcompiler2002/WilhelmRS02/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/books/crc/CRCcompiler2002/WilhelmRS02
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/books/collections/CRCcompiler2002.html#WilhelmRS02
>
rdfs:
seeAlso
<
https://doi.org/10.1201/9781420040579.ch5
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/collections/crc/CRCcompiler2002
>
dc:
title
Shape Analysis and Applications.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:InCollection
rdf:
type
foaf:Document