登入選單

返回Google圖書搜尋

A Linear Model Checking Algorithm for Alternation-depth-1 Mu-calculus

André ArnoldP. Crubille

出版	Université de Bordeaux 1/CNRS. Analyse Appliquée et Informatique, 1987
URL	http://books.google.com.hk/books?id=i18ErgEACAAJ&hl=&source=gbs_api