A computer checked algebraic verification of a distributed summation algorithm

Jan Friso Groote, François Monin, Jan Springintveld

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

Access to Document

@article{8304716aa1b14d9a87265c559b0340a1,

title = "A computer checked algebraic verification of a distributed summation algorithm",

author = "Groote, {Jan Friso} and Fran{\c c}ois Monin and Jan Springintveld",

year = "2005",

doi = "10.1007/s00165-004-0052-7",

language = "English",

volume = "17",

pages = "19--37",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - A computer checked algebraic verification of a distributed summation algorithm

AU - Groote, Jan Friso

AU - Monin, François

AU - Springintveld, Jan

PY - 2005

Y1 - 2005

U2 - 10.1007/s00165-004-0052-7

DO - 10.1007/s00165-004-0052-7

M3 - Article

VL - 17

SP - 19

EP - 37

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

SN - 0934-5043

IS - 1

ER -