Fluent Temporal Logic for Discrete-Time Event-Based Models
- 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.