Morse Reseach group

The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004)

April, 2004 – Spain (Barcelona)