[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/infinity/2006-07-08>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Peter_Habermehl>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Tom%E2%88%9A%C2%B0s_Vojnar>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Peter_Habermehl>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Tom%E2%88%9A%C2%B0s_Vojnar>
foaf:homepage <https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/239/suppl/C>
dc:identifier DBLP conf/infinity/2006-07-08 (xsd:string)
dcterms:issued 2009 (xsd:gYear)
rdfs:label Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/AbdullaKY09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BoichutHK09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BouchenebB09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BouchyFS09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BrazdilBF09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/DelzannoM09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/EncrenazF09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/FahrenbergL09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/FroschleL09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/Gascon09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/HabermehlV09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/KretinskyRS09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/PommereauDK09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/RajebNRT09>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/SighireanuT09>
dc:publisher Elsevier (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/infinity/2006-07-08/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/infinity/2006-07-08>
rdfs:seeAlso <https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/239/suppl/C>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/infinity>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/journals/entcs/entcs239.html>
dc:title Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 239 (xsd:string)