| 000 | 00586nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 240527b |||||||| |||| 00| 0 eng d | ||
| 082 | _a006.31015113 P12 | ||
| 100 | _aRaj Mohan, M. | ||
| 245 |
_aAutomata constructions and decision procedures for metric temporal logic _cby M Raj Mohan |
||
| 260 |
_aBangalore : _bIndian institute of Science, _c2012. |
||
| 300 |
_axii, 105 p. : _bill. |
||
| 500 | _aInclude bibliographical references and index | ||
| 502 | _aPhD(Engg);2012;Computer Science and Automation | ||
| 700 | _aAdvised by D'Souza Deepak | ||
| 852 | _pG25283 | ||
| 942 | _cT | ||
| 999 |
_c177300 _d177300 |
||