TY  - BOOK
AU  - Prabhakar, Pavithra
AU  - Advised by D'Souza, Deepak
TI  - On the expressiveness of metric temporal logic
U1  - 005.131 P06  
PY  - 2006///
CY  - Bangalore
PB  - Indian Institute of Science
N1  - Includes bibliographical references; MSc(Engg);2006;Computer Science and Automation
ER  -