Model Checking: Theories, Techniques and Applications
LIN Hui-min, ZHANG Wen-hui
Acta Electronica Sinica ›› 2002, Vol. 30 ›› Issue (S1) : 1907-1912.
Model Checking: Theories, Techniques and Applications
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |