Computing Publications

Publications Home » Fluent Temporal Logic for Discret...

Fluent Temporal Logic for Discrete-Time Event-Based Models

Sebastian Uchitel

Conference or Workshop Paper
Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lisbon, Portugal, 2005.
PDF of full publication (308 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.