Fluent Temporal Logic for Discrete-Time Event-Based Models

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software - 2005

BibTex references

@InProceedings\{LKMU05,
  author       = "Letier, Emmanuel and Kramer, Jeff and Magee, Jeff and Uchitel, Sebastian",
  title        = "Fluent Temporal Logic for Discrete-Time Event-Based Models",
  booktitle    = "Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software",
  year         = "2005",
  url          = "http://publicaciones.dc.uba.ar/Publications/2005/LKMU05"
}

Other publications in the database

» Emmanuel Letier
» Jeff Kramer
» Jeff Magee
» Sebastian Uchitel