Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/isola/2007>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Fr%E2%88%9A%C2%A9d%E2%88%9A%C2%A9ric_Boniol>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Virginie_Wiels>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Yamine_A%E2%88%9A%C4%AEt_Ameur>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Fr%E2%88%9A%C2%A9d%E2%88%9A%C2%A9ric_Boniol>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Virginie_Wiels>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Yamine_A%E2%88%9A%C4%AEt_Ameur>
|
foaf:homepage
|
<http://editions-rnti.fr/?procid=100068>
|
dc:identifier
|
DBLP conf/isola/2007
(xsd:string)
|
dc:identifier
|
ISBN 978-2-85428-814-8
(xsd:string)
|
swrc:isbn
|
ISBN 978-2-85428-814-8
(xsd:string)
|
dcterms:issued
|
2007
(xsd:gYear)
|
rdfs:label
|
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BakeraMRS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BauerLST07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BaufretonH07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BensalemKMRT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/Betous-AlmeidaSF07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/Bjorner07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BlanquartBLMP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BoniolPR07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BousquetNYI07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/BreitmanBCFH07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/CamierCDA07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/Caspi07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/Cousot07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/ErmontB07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/HermantG07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/JulliandMO07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/Laurent07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/LeuschelP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/RahniGR07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/RehmC07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/SalmiMI07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/ShahbazG07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/isola/ZakiTB07>
|
dc:publisher
|
C√©padu√®s-√Čditions
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/isola/2007/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/isola/2007>
|
owl:sameAs
|
<urn:isbn:978-2-85428-814-8>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-2-85428-814-8>
|
rdfs:seeAlso
|
<http://editions-rnti.fr/?procid=100068>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/isola>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/isola/isola2007.html>
|
dc:title
|
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
RNTI-SM-1
(xsd:string)
|