Web Cubes

I.S.W.B. Prasetya, 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 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE)
EditorsE Najm, J.F. Pradat-Peyre
PublisherSpringer
Pages77-92
Number of pages16
DOIs
Publication statusPublished - 2006

Keywords

  • Mathematics
  • Informatica
  • Landbouwwetenschappen
  • Natuurwetenschappen

Cite this