Skip to main navigation Skip to search Skip to main content

Facilitating the Verification of Diffusing Computations and Their Applications

  • T.E.J. Vos
  • , S.D. Swierstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the 30ma Conferencia Latinoamericana de Informática
EditorsM. Solar, D. Fernández-Baca, E. Cuadros-Vargas
Pages42-53
Number of pages12
Publication statusPublished - 2004

Bibliographical note

CLEI2004

Keywords

  • Wiskunde en Informatica (WIIN)
  • Mathematics
  • Informatica
  • Landbouwwetenschappen
  • Natuurwetenschappen

Cite this