From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/ecrts/AltmeyerADFHGGH23>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/%E2%88%9A%C4%8Ctienne_Andr%E2%88%9A%C2%A9>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Didier_Le_Botlan>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Giuseppe_Lipari>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/J._Javier_Guti%E2%88%9A%C2%A9rrez>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Juan_Maria_Rivas>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Julio_L._Medina>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Lo%E2%88%9A%C4%AEc_Fejoz>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Michael_Gonz%E2%88%9A%C2%B0lez_Harbour>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Nicolas_Navet>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Rafik_Henia>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Sebastian_Altmeyer>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Silvano_Dal-Zilio>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Sophie_Quinton>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Susanne_Graf>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Youcheng_Sun>
foaf:homepage	<http://dx.doi.org/doi.org%2F10.4230%2FLIPIcs.ECRTS.2023.19>
foaf:homepage	<https://doi.org/10.4230/LIPIcs.ECRTS.2023.19>
dc:identifier	DBLP conf/ecrts/AltmeyerADFHGGH23 (xsd:string)
dc:identifier	DOI doi.org%2F10.4230%2FLIPIcs.ECRTS.2023.19 (xsd:string)
dcterms:issued	2023 (xsd:gYear)
rdfs:label	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/%E2%88%9A%C4%8Ctienne_Andr%E2%88%9A%C2%A9>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Didier_Le_Botlan>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Giuseppe_Lipari>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/J._Javier_Guti%E2%88%9A%C2%A9rrez>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Juan_Maria_Rivas>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Julio_L._Medina>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Lo%E2%88%9A%C4%AEc_Fejoz>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Michael_Gonz%E2%88%9A%C2%B0lez_Harbour>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Nicolas_Navet>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Rafik_Henia>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Sebastian_Altmeyer>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Silvano_Dal-Zilio>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Sophie_Quinton>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Susanne_Graf>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Youcheng_Sun>
swrc:pages	19:1-19:18 (xsd:string)
dcterms:partOf	<https://dblp.l3s.de/d2r/resource/publications/conf/ecrts/2023>
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/ecrts/AltmeyerADFHGGH23/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/ecrts/AltmeyerADFHGGH23>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/conf/ecrts/ecrts2023.html#AltmeyerADFHGGH23>
rdfs:seeAlso	<https://doi.org/10.4230/LIPIcs.ECRTS.2023.19>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/ecrts>
dc:title	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:InProceedings
rdf:type	foaf:Document