• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Quantitative Temporal Logic Mechanized in HOL

Orieta Celiku, Quantitative Temporal Logic Mechanized in HOL. In: Edward Smith Ashish Darbari Joe Hurd (Ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, Research Report, 14-29, Oxford University Computing Laboratory, 2005.

BibTeX entry:

@INPROCEEDINGS{inpCeliku05a,
  title = {Quantitative Temporal Logic Mechanized in HOL},
  booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
  author = {Celiku, Orieta},
  series = {Research Report},
  editor = {Joe Hurd, Edward Smith Ashish Darbari},
  publisher = {Oxford University Computing Laboratory},
  pages = {14-29},
  year = {2005},
}

Belongs to TUCS Research Unit(s): Learning and Reasoning Lab

Edit publication