Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Document Date: 2011-06-20 11:34:47
Open Document
File Size: 2,20 MB
Share Result on Facebook
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 , ,