Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse

<http://data.bibliotheken.nl/id/nbt/p274041294>

schema:Book schema:ProductModel schema:CreativeWork
rdfs:label "Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse"
schema:name "Branching bisimulation for probabilistic systems: characteristics and decidability"
schema:author Centre for Telematics and Information Technology (Enschede)
schema:contributor Andova, Suzana
Willemse, Timothy Ariën Carol (1974-)
schema:sameAs <http://www.worldcat.org/oclc/66476392>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/cc1be8fc61e484f7e6f1fddfdf5a232a>
kbdef:hasDerivative Branching bisimulation for probabilistic systems: characteristics and decidability / Suzana Andova, Tim A.C. Willemse
http://purl.org/dc/terms#issued "2005"
schema:about waarschijnlijkheidsrekening
procesalgebra
schema:inLanguage "en"
schema:isPartOf CTIT technical report series
schema:numberOfPages 32
schema:publication <https://data.bibliotheken.nl/.well-known/genid/cb89224f855cb6d8e4906d3a77f1b03e>

Inverse relations

[ .. ] → schema:isBasedOn → Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse

Branching bisimulation for probabilistic systems: characteristics and decidability / Suzana Andova, Tim A.C. Willemseschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql