EpiSpin: an Eclipse Plug-in for Promela Spin using Spoofax B. de Vos, L.C.L. Kats, and C. Pronk Delft University of Technology, The Netherlands , , - Promela - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-06-20 11:34:47		EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax B. de Vos, L.C.L. Kats, and C. Pronk Delft University of Technology, The Netherlands , , Add to Reading List Source URL: spinroot.com Download Document from Source Website File Size: 2,20 MB Share Document on Facebook