Author:
Saralaya Vikram,Kishore J. K.,Reddy Sateesh,Pai Radhika M.,Singh Sanjay
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Khoussainov, B., Nerode, A.: Automata Theory and its Applications. Brikhauser, Boston (2001)
2. Zhang, Z.: Playing tic-tac-toe game using model checking. Technical report, University of Illinois, Chicago (November 2004)
3. Lecture Notes in Computer Science;S. Collette,2007
4. Storm, W.: Solving sudoku using simulink design verifier. Technical report, Lockheed Martin Aeronautics Company, Bethesda (September 2009)
5. Khomskii, Y.: Infinite games. Technical report, University of Sofia Bulgaria, Summer Course (July 2010)