Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm
MIAO Li, ZHANG Da-fang, JI jie, XUAN Hen-nong
Acta Electronica Sinica ›› 2005, Vol. 33 ›› Issue (2) : 258-261.
Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |