/ Committees / By gisum_user Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004) Website April, 2004 – Spain (Barcelona)
