A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenio

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

schema:Book schema:ProductModel schema:CreativeWork
rdfs:label "A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenio"
schema:name "A compositional translation of stochastic automata into timed automata"
schema:author <https://data.bibliotheken.nl/.well-known/genid/89b189e685573c86c28956a04615802f>
schema:sameAs <http://www.worldcat.org/oclc/67361580>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/f1bdb158dfcba91462955355ba61c1bf>
kbdef:hasDerivative A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenio
http://purl.org/dc/terms#issued "2000"
schema:inLanguage "en"
schema:isPartOf CTIT technical report series
schema:numberOfPages 32
schema:publication <https://data.bibliotheken.nl/.well-known/genid/dbde9d7389bc5bf5bfd99fc500bc5d30>

Inverse relations

[ .. ] → schema:isBasedOn → A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenio

A compositional translation of stochastic automata into timed automata / Pedro R. D'Argenioschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql