On the expressiveness of metric temporal logic
Prabhakar, Pavithra
On the expressiveness of metric temporal logic by Pavitra Prabhakar - Bangalore : Indian Institute of Science, 2006. - x, 107 p. : ill.
Includes bibliographical references
MSc(Engg);2006;Computer Science and Automation
005.131 P06
On the expressiveness of metric temporal logic by Pavitra Prabhakar - Bangalore : Indian Institute of Science, 2006. - x, 107 p. : ill.
Includes bibliographical references
MSc(Engg);2006;Computer Science and Automation
005.131 P06