Slicing Communicating Automata Specifications for Efficient Model Reduction
2008 ◽
Vol 20
(6)
◽
pp. 563-595
◽
Keyword(s):