Low-Fat Recipes for SPIN

T.C. Ruys

Low-Fat Recipes for SPIN

T.C. Ruys

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

Original language	Undefined
Title of host publication	SPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885
Place of Publication	Stanford University, California, USA
Pages	287-321
Number of pages	35
Publication status	Published - 22 Feb 2000

Keywords

METIS-119645

Cite this

@inproceedings{a12319a39db34ed88782d1e54cb63103,

title = "Low-Fat Recipes for SPIN",

keywords = "METIS-119645",

author = "T.C. Ruys",

year = "2000",

month = feb,

day = "22",

language = "Undefined",

pages = "287--321",

booktitle = "SPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885",

}

Low-Fat Recipes for SPIN. / Ruys, T.C.

SPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885. Stanford University, California, USA, 2000. p. 287-321.

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

TY - GEN

T1 - Low-Fat Recipes for SPIN

AU - Ruys, T.C.

PY - 2000/2/22

Y1 - 2000/2/22

KW - METIS-119645

M3 - Conference contribution

SP - 287

EP - 321

BT - SPIN Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop (SPIN'2000). Editors: K. Havelund, J. Penix and W. Vissers. LNCS 1885

CY - Stanford University, California, USA

ER -