Algebraic verification of a distributed summation algorithm / J.F. Groote, J. Springintveld
Ook verschenen als uitg. van: Amsterdam : Centrum voor Wiskunde en Informatica, 1996. - (Report / Computer Science/Department of Software Technology, ISSN 0169-118X ; CS-R9640)
| rdfs:label | "Algebraic verification of a distributed summation algorithm / J.F. Groote, J. Springintveld" |
| schema:name | "Algebraic verification of a distributed summation algorithm" |
| schema:author | Computing Science Institute (Nijmegen) |
| Groote, Jan Friso (1965-) | |
| schema:contributor | Springintveld, Johannes Gerardus (1967-) |
| schema:description | "Ook verschenen als uitg. van: Amsterdam : Centrum voor Wiskunde en Informatica, 1996. - (Report / Computer Science/Department of Software Technology, ISSN 0169-118X ; CS-R9640)" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1996" |
| schema:about | algoritmen |
|
schema:in |
"en" |
|
schema:is |
Technical report / Computing Science Institute |
|
schema:number |
18 |
| schema:publication |
<https:/ |