Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/cpsweek/2014-15arch>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Goran_Frehse>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Matthias_Althoff>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Goran_Frehse>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Matthias_Althoff>
|
foaf:homepage
|
<https://easychair.org/publications/volume/ARCH15>
|
dc:identifier
|
DBLP conf/cpsweek/2014-15arch
(xsd:string)
|
dcterms:issued
|
2015
(xsd:gYear)
|
rdfs:label
|
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/0002SA15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/Althoff15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/BaeKG15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/BakBGJ15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/ChenMT14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/Cunha15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/DeshmukhIJKBGSW15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/DonzeR15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/FanDM015>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/GanDM14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/HeinzOW14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/HoxhaAF14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/HoxhaAF14a>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/Immler15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/MakhloufK14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/MakhloufK14a>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/MinopoliF15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/NguyenJ14>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/ParoliniSA15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/RoehmGHOW15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/StrathmannO15>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpsweek/TranNJ15>
|
dc:publisher
|
EasyChair
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/cpsweek/2014-15arch/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/cpsweek/2014-15arch>
|
rdfs:seeAlso
|
<https://easychair.org/publications/volume/ARCH15>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/cpsweek>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html>
|
dc:title
|
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
34
(xsd:string)
|