Monin, François
| rdfs:label | "Monin, François" |
| schema:name | "François Monin" |
|
schema:family |
"Monin" |
|
schema:given |
"François" |
|
schema:same |
<http:/ |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:contributor → Monin, François
A computer checked algebraic verification of a distributed summation algorithm / by J.F. Groote, F. Monin and J. Springintveldschema:ProductModel
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 Polschema:ProductModel