Automated formal verification of visual modeling languages by model checking
Dániel VarróVolume:
3
Language:
english
Pages:
29
DOI:
10.1007/s10270-003-0050-x
Date:
May, 2004
File:
PDF, 877 KB
english, 2004