Semantics and verification of extended phase transition systems in Duration Calculus
1997 ◽
pp. 301-315
◽
2012 ◽
Vol 4
(5)
◽
pp. 6
◽
2018 ◽
Vol 33
(35)
◽
pp. 1850210
◽
Keyword(s):
Keyword(s):
2016 ◽
Vol 25
(01)
◽
pp. 1650010
◽
2016 ◽
Vol 31
(37)
◽
pp. 1650199
◽
Keyword(s):
Keyword(s):