Abstraction of Communication Channels in Promela: A Case Study
Keyword(s):
2013 ◽
pp. 115-136
◽
2017 ◽
Vol 7
(3)
◽
pp. 54-69
2009 ◽
Vol 5
(2)
◽
2019 ◽
Vol 153
◽
pp. 135-151
◽