|
rdfs:label
|
"Termination in timed process algebra / by J.C.M. Baeten and M.A. Reniers"
|
|
schema:name
|
"Termination in timed process algebra"
|
|
schema:author
|
Baeten, Josephus Cornelis Maria
|
|
Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
|
|
schema:contributor
|
Reniers, Michel Adriaan (1970-)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/67362958>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/3b2eee7516c6d34efcd5dca29637daf5>
|
|
http://purl.org/dc/terms#issued
|
"2000"
|
|
schema:about
|
procesalgebra
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
|
|
schema:numberOfPages
|
36
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/7e2e20d15e761558062f549d8b8e7524>
|