A bidirectional graph transformation approach to analysis of concurrent software models
Keyword(s):
2013 ◽
Vol 5
(1)
◽
pp. 44
◽
2020 ◽
Vol 12
(2)
◽
pp. 237
Keyword(s):
Keyword(s):
2020 ◽
Vol 12
(2)
◽
pp. 237
Keyword(s):
2014 ◽
Vol 17
(3)
◽
pp. 267-289
◽
2002 ◽
Vol 44
(2)
◽
pp. 133-155
◽