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

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha