|
rdfs:label
|
"A language of finite probabilistic processes and its interleaving semantics / Rom Langerak and Diego Latella"
|
|
schema:name
|
"A language of finite probabilistic processes and its interleaving semantics"
|
|
schema:author
|
Universiteit Twente (Enschede). Faculteit der Informatica
|
|
Langerak, Romanus (1961-)
|
|
schema:contributor
|
Universiteit Twente (Enschede). Faculteit der Elektrotechniek
|
|
Tele-Informatics and Open Systems Group (Enschede)
|
|
Latella, Diego
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/66237106>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/f58a5f63dd7dc88758346af3e05d1799>
|
|
http://purl.org/dc/terms#issued
|
"1993"
|
|
schema:about
|
programmeertalen
|
|
waarschijnlijkheidsrekening
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Memoranda informatica / University of Twente, Department of Computer Science
|
|
TIOS / Tele-Informatics and Open Systems Group
|
|
schema:numberOfPages
|
12
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/f20bf1c0fd17df0104d2ac63b3cd9208>
|