[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/papm/2002>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Holger_Hermanns>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Roberto_Segala>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Holger_Hermanns>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Roberto_Segala>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1007%2F3-540-45605-8>
foaf:homepage <https://doi.org/10.1007/3-540-45605-8>
dc:identifier DBLP conf/papm/2002 (xsd:string)
dc:identifier DOI doi.org%2F10.1007%2F3-540-45605-8 (xsd:string)
dc:identifier ISBN 3-540-43913-7 (xsd:string)
swrc:isbn ISBN 3-540-43913-7 (xsd:string)
dcterms:issued 2002 (xsd:gYear)
rdfs:label Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/AldiniG02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/BohnenkampH02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Bournez02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Bravetti02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/DArgenioJJL02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/FecherMW02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Haar02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Huth02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/KuntzS02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/KwiatkowskaM02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/KwiatkowskaNP02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/KwiatkowskaNS02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/LassaigneP02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/PierroW02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Sands02>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/papm/Schiper02>
dc:publisher Springer (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/papm/2002/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/papm/2002>
owl:sameAs <urn:isbn:3-540-43913-7>
rdfs:seeAlso <http://amazon.com/s/ref=nb_ss_gw?field-keywords=3-540-43913-7>
rdfs:seeAlso <https://doi.org/10.1007/3-540-45605-8>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/papm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/papm/papm2002.html>
dc:title Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 2399 (xsd:string)