登入
選單
返回
Google圖書搜尋
Relationship Between Alternating Omega-Automata and Symbolically Represented Nondeterministic Omega-Automata
Thomas Tuerk
Klaus Schneider
出版
Technische Universität Kaiserslautern, Fachbereich Informatik
, 2005
URL
http://books.google.com.hk/books?id=kHFCuwEACAAJ&hl=&source=gbs_api
