Facilitating the Verification of Diffusing Computations and Their Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 30ma Conferencia Latinoamericana de Informática
Editors	M. Solar, D. Fernández-Baca, E. Cuadros-Vargas
Pages	42-53
Number of pages	12
Publication status	Published - 2004

CLEI2004

Keywords

@inproceedings{94ee171577ce40f1a375975380f84ec7,

title = "Facilitating the Verification of Diffusing Computations and Their Applications",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "T.E.J. Vos and S.D. Swierstra",

note = "CLEI2004",

year = "2004",

language = "Undefined/Unknown",

pages = "42--53",

editor = "M. Solar and D. Fern{\'a}ndez-Baca and E. Cuadros-Vargas",

booktitle = "Proceedings of the 30ma Conferencia Latinoamericana de Inform{\'a}tica",

}

TY - GEN

T1 - Facilitating the Verification of Diffusing Computations and Their Applications

AU - Vos, T.E.J.

AU - Swierstra, S.D.

N1 - CLEI2004

PY - 2004

Y1 - 2004

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Conference contribution

SP - 42

EP - 53

BT - Proceedings of the 30ma Conferencia Latinoamericana de Informática

A2 - Solar, M.

A2 - Fernández-Baca, D.

A2 - Cuadros-Vargas, E.

ER -