Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
On-Campus Access Only (IP based access)