[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/asm/2005>
dc:identifier DBLP conf/asm/2005 (xsd:string)
dcterms:issued 2005 (xsd:gYear)
rdfs:label Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/AbiteboulDM05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Abrial05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/AndaryPV05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/BanachPJS05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/BeauquierBS05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/BienemannKST05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Borger05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Borger05a>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/BrantinghamGKSV05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/ButlerLS05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/CampbellV05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/ComandurSB05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Comon-Lundh05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Cook05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/FahlandR05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/FarahbodGG05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/FilatovY05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Fruja05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/GawanmehHT05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/GrafP05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Gurevich05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/HabibiT05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/HanebergGRS05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Jula05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/JulaF05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Kardos05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Leino05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/NovikovY05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Nowack05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/PaivaTFV05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/ScandurraGGGR05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Schellhorn05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/ScheweZ05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/SlissenkoC05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/TangT05>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/asm/Woodcock05>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/asm/2005/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/asm/2005>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/asm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/asm/asm2005.html>
dc:title Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document