Formal verification of Chi models using PHAVer (extended version)

D.A. Beek, van, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers

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

4 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM
Editors	I. Troch, F. Breitenecker
Place of Publication	Vienna
Publisher	ARGESIM
ISBN (Print)	3-901608-25-7
Publication status	Published - 2006

Cite this

@inproceedings{aa28ba4f54bd4bfeaae6fe62a7d6ceb7,

title = "Formal verification of Chi models using PHAVer (extended version)",

author = "{Beek, van}, D.A. and K.L. Man and M.A. Reniers and J.E. Rooda and R.R.H. Schiffelers",

year = "2006",

language = "English",

isbn = "3-901608-25-7",

editor = "I. Troch and F. Breitenecker",

booktitle = "Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM",

publisher = "ARGESIM",

}

Formal verification of Chi models using PHAVer (extended version). / Beek, van, D.A.; Man, K.L.; Reniers, M.A. et al.
Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM. ed. / I. Troch; F. Breitenecker. Vienna: ARGESIM, 2006.

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

TY - GEN

T1 - Formal verification of Chi models using PHAVer (extended version)

AU - Beek, van, D.A.

AU - Man, K.L.

AU - Reniers, M.A.

AU - Rooda, J.E.

AU - Schiffelers, R.R.H.

PY - 2006

Y1 - 2006

M3 - Conference contribution

SN - 3-901608-25-7

BT - Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM

A2 - Troch, I.

A2 - Breitenecker, F.

PB - ARGESIM

CY - Vienna

ER -