[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/pasm/2012>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jeremy_T._Bradley>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Keijo_Heljanko>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Nigel_Thomas>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/William_J._Knottenbelt>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Jeremy_T._Bradley>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Keijo_Heljanko>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Nigel_Thomas>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/William_J._Knottenbelt>
foaf:homepage <https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/296/suppl/C>
dc:identifier DBLP conf/pasm/2012 (xsd:string)
dcterms:issued 2013 (xsd:gYear)
rdfs:label Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012 (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/AidarovEM13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/AmparoreD13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/AssuncaoEFPS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BanksCGGHMS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BarbieratoRGIM13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BarnatHR13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BergL13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/BradleyHKT13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/ClarkGGH13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/DijkLP13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/GaravelMS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/MarkovskiMR13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/MiliosG13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/ScottHS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/TarasyukMR13>
dc:publisher Elsevier (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/pasm/2012/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/pasm/2012>
rdfs:seeAlso <https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/296/suppl/C>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/pasm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/journals/entcs/entcs296.html>
dc:title Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012 (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 296 (xsd:string)