<div style="line-height: 150%">A transformation method for AltaRica3.0</div> <div style="line-height: 150%">to Promela and its verification</div> <div style="line-height: 150%"> </div>

HU Jun，CHEN Song，WANG Ming-ming

Computer Engineering & Science . 2017, (04): 708 -716 .