Searching for "CTL Model Checking for Boolean Program." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Problems
by Sessions Aaa, Isit Ota, Uass Cga, Mcs Cbse, Md. Abdul, Hamid Md, Rahman, Choong Seon, Sung Ki Kim, Byoung, Joon Min, Sang-kyun Noh, Dongkook Kim, Mobile Ad Hoc, Hyojin Kim, Seungjae Han, Jooseok, Jong-sub Lee, Maing-kyu Kang, Panos Parpas, Berc Rustem — 2006
… for Schedule Management and Evaluation by COQUALMO Eun Ser Lee and Sang Ho Lee CTL Model Checking for Boolean…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB