Fluent temporal logic for discrete-time event-based models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. Fluent temporal logic for discrete-time event-based models. In Michel Wermelinger, Harald Gall, editors, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005. pages 70-79, ACM, 2005. [doi]

This author has not been identified. Look up 'Emmanuel Letier' in GoogleThis author has not been identified. Look up 'Jeff Kramer' in GoogleThis author has not been identified. Look up 'Jeff Magee' in GoogleThis author has not been identified. Look up 'Sebastián Uchitel' in Google

runs on WebDSL