Web Cubes

I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE)
Editors	E Najm, J.F. Pradat-Peyre
Publisher	Springer
Pages	77-92
Number of pages	16
DOIs	https://doi.org/10.1007/11888116_6
Publication status	Published - 2006

Keywords

@inproceedings{2fb9230977064b929b8caa1e0d136908,

title = "Web Cubes",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "I.S.W.B. Prasetya and T.E.J. Vos and S.D. Swierstra",

year = "2006",

doi = "10.1007/11888116\_6",

language = "Undefined/Unknown",

pages = "77--92",

editor = "E Najm and J.F. Pradat-Peyre",

booktitle = "Proceedings of 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE)",

publisher = "Springer",

}

TY - GEN

T1 - Web Cubes

AU - Prasetya, I.S.W.B.

AU - Vos, T.E.J.

AU - Swierstra, S.D.

PY - 2006

Y1 - 2006

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

U2 - 10.1007/11888116_6

DO - 10.1007/11888116_6

M3 - Conference contribution

SP - 77

EP - 92

BT - Proceedings of 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE)

A2 - Najm, E

A2 - Pradat-Peyre, J.F.

PB - Springer

ER -