Towards Automated Formal Verification of Visual Modeling Languages by Model Checking (2003)

Cached

Download Links

by Dániel Varró
Citations:34 - 5 self