|
rdfs:label
|
"Checking verifications of protocols and distributed systems by computer : extended version of a tutorial at CONCUR '98 / by J.F. Groote, F. Monin and J. van de Pol"
|
|
schema:name
|
"Checking verifications of protocols and distributed systems by computer : extended version of a tutorial at CONCUR '98"
|
|
schema:author
|
Groote, Jan Friso (1965-)
|
|
Department of Mathematics and Computing Science (Eindhoven ; 1986-....)
|
|
schema:contributor
|
Pol, Jan Cornelis van de (1969-)
|
|
Monin, François
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/67842151>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/4da696ee7b2cdcc2344083d251ae3fc0>
|
|
http://purl.org/dc/terms#issued
|
"1998"
|
|
schema:about
|
procesalgebra
|
|
systeemontwikkeling (informatica)
|
|
wiskundige logica
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Computing science reports / Eindhoven University of Technology, Department of Mathematics and Computing Science
|
|
schema:numberOfPages
|
28
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/36c0a772b7b86cb2669cb0cfdad2a5f1>
|