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

Cached

Download Links

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