Property | Value |
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)
|