Sciweavers

LSC Verification for UML Models with Unbounded Creation and Destruction
Recent Google, Yahoo, MSN search queries leading to this post
LSC Verification for UML Models with Unbounded Creation and Destruction