Re: Constructing a State Based model in Alloy - http://jalada.co.uk/2009...
Mar 9, 2012
from
"I'm sorry Farouk. It's been so long since I did this that my knowledge of Alloy etc. has completely evaporated!"
- Jalada