Dimitra Giannakopoulou, Jeff Magee. Fluent model checking for event-based systems. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 257-266, ACM, 2003. [doi]
Abstract is missing.