MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Vacuity Checking in the Modal Mu-Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Vacuity Checking in the Modal Mu-Calculus  
  • by Yifei Dong, Beata Sarna-starosta, C. R. Ramakrishnan, Scott A. Smolka — 2002 — In Proceedings of AMAST’02, volume 2422 of LNCS
  • …Vacuity Checking in the Modal Mu-Calculus ⋆ Yifei Dong, Beata Sarna-Starosta, C.R. Ramakrishnan…
  • Cited by 1 (0 self) – Add To MetaCart
  • unknown title  
  • by Vacuity Checking, Modal Mu-calculus, Yifei Dong, Beata Sarna-starosta, C. R. Ramakrishnan, Scott A. Smolka
  • … Vacuity Checking in the Modal Mu-Calculus? Yifei Dong, Beata Sarna-Starosta, C.R. Ramakrishnan…
  • Add To MetaCart
  • unknown title  
  • by Vacuity Checking, Modal Mu-calculus, Yifei Dong, Beata Sarna-starosta, C. R. Ramakrishnan, Scott A. Smolka
  • … Vacuity Checking in the Modal Mu-Calculus Yifei Dong, Beata Sarna-Starosta, C.R. Ramakrishnan…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB