spinnews.gif (1514 bytes)


NewsLetter 40 - October 10, 2004:

The Next Spin Workshop

Alternating Automata

Spin Version 4.2.1

Embedded C-Code Questions

JPL Internships


End of Newsletter Nr. 40.

Spin Homepage
Newsletter Index
To subscribe/unsubscribe: [email protected]