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