Uppaal 4.0
Midterm Review Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2011.
Chaos Book
Ch4 Heuristic Search
Chaos-Classical and quantum
Ch4 Heuristic Search Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2011.
AMS 599 Special Topics in Applied Mathematics Lecture 4
CAV‘ 2002 conference, and “Formal Methods in System Design” 2005 journal