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

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

schema:Book schema:ProductModel schema:CreativeWork
rdfs:label "Branching bisimulation for probabilistic systems: characteristics and decidability / Suzana Andova, Tim A.C. Willemse"
schema:name "Branching bisimulation for probabilistic systems: characteristics and decidability"
schema:contributor Willemse, Timothy Ariën Carol (1974-)
Andova, Suzana
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/d7ecccf7b7268368ec5273014315c08f>
http://purl.org/dc/terms#issued "2005"
schema:associatedMedia <http://purl.utwente.nl/publications/57012>
schema:bookFormat schema:EBook
schema:inLanguage "en"
schema:isBasedOn Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse
schema:isPartOf CTIT technical report series
schema:numberOfPages 0
schema:publication <https://data.bibliotheken.nl/.well-known/genid/7fc622ab60368350f1f1a5756188a421>

Inverse relations

[ .. ] → kbdef:hasDerivative → Branching bisimulation for probabilistic systems: characteristics and decidability / Suzana Andova, Tim A.C. Willemse

Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.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