A conceptual framework for state-based and event-based formal behavioural specification languages
2012 ◽
Vol 4
(3)
◽
pp. 221-248
◽
Keyword(s):
1997 ◽
Vol 6
(3)
◽
pp. 179-190
◽
Keyword(s):
1999 ◽
Vol 41
(1)
◽
pp. 55-59
◽
Keyword(s):
Keyword(s):