Dimitra Giannakopoulou, Jeff Magee
Fluent model checking for event-based systems
ESEC-FSE, 2003.
@inproceedings{ESEC-FSE-2003-GiannakopoulouM,
author = "Dimitra Giannakopoulou and Jeff Magee",
booktitle = "{Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference}",
doi = "10.1145/940071.940106",
pages = "257--266",
publisher = "{ACM}",
title = "{Fluent model checking for event-based systems}",
year = 2003,
}