GeoGrid: A scalable Location Service Network Authors: J.Zhang, G.Zhang, L.Liu Georgia Institute of Technology presented by Olga Weiss Com S 587x, Fall.
Translating from logic to automata Book: Chapter 6
GeoGrid: A scalable Location Service Network
Translating from LTL to automata Book: Chapter 6
Translating from logic to automata