Standard

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. / Vos de, B; Kats, LCL; Pronk, C.

18th International Workshop on Model Checking Software (SPIN). ed. / A Groce; M Musuvathi. Berlin : Springer, 2011. p. 177-182 (Lecture Notes in Computer Science; Vol. 6823).

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

Harvard

Vos de, B, Kats, LCL & Pronk, C 2011, EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. in A Groce & M Musuvathi (eds), 18th International Workshop on Model Checking Software (SPIN). Lecture Notes in Computer Science, vol. 6823, Springer, Berlin, pp. 177-182, SPIN 2011, 14/07/11.

APA

Vos de, B., Kats, LCL., & Pronk, C. (2011). EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. In A. Groce, & M. Musuvathi (Eds.), 18th International Workshop on Model Checking Software (SPIN) (pp. 177-182). (Lecture Notes in Computer Science; Vol. 6823). Berlin: Springer.

Vancouver

Vos de B, Kats LCL, Pronk C. EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. In Groce A, Musuvathi M, editors, 18th International Workshop on Model Checking Software (SPIN). Berlin: Springer. 2011. p. 177-182. (Lecture Notes in Computer Science).

Author

Vos de, B ; Kats, LCL ; Pronk, C. / EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax. 18th International Workshop on Model Checking Software (SPIN). editor / A Groce ; M Musuvathi. Berlin : Springer, 2011. pp. 177-182 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{f5434540508b44149a435e78dff3eaf4,
title = "EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax",
keywords = "CWTS JFIS < 0.75",
author = "{Vos de}, B and LCL Kats and C Pronk",
year = "2011",
language = "English",
isbn = "987-3-642-22305-1",
publisher = "Springer",
pages = "177--182",
editor = "A Groce and M Musuvathi",
booktitle = "18th International Workshop on Model Checking Software (SPIN)",

}

RIS

TY - GEN

T1 - EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

AU - Vos de, B

AU - Kats, LCL

AU - Pronk, C

PY - 2011

Y1 - 2011

KW - CWTS JFIS < 0.75

M3 - Conference contribution

SN - 987-3-642-22305-1

SP - 177

EP - 182

BT - 18th International Workshop on Model Checking Software (SPIN)

A2 - Groce, A

A2 - Musuvathi, M

PB - Springer

CY - Berlin

ER -

ID: 3824401