|
rdfs:label
|
"Algebraic process verification / by J.F. Groote and M.A. Reniers"
|
|
schema:name
|
"Algebraic process verification"
|
|
schema:author
|
Groote, Jan Friso (1965-)
|
|
Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
|
|
schema:contributor
|
Reniers, Michel Adriaan (1970-)
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/67639302>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/2b9acfd696776745d329da314c7f6905>
|
|
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
|
65
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/ed151efaf9545d92ce75312b1ea462ad>
|