Abigail Parisaca Vargas, Ana Gabriela Garis, S. Lizeth Tapia Tarifa, Chris George. Model Checking LTL Formulae in RAISE with FDR. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 231-245, Springer, 2009. [doi]
Abstract is missing.