CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
IEAAIE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...