Automatic Verification of a Behavioural
โ
Diego Latella; Istvan Majzik; Mieke Massink
๐
Article
๐
1999
๐
Springer
๐
English
โ 255 KB