70443413

a

70443413 Vargas, Abigail Parisaca Garis, Ana Gabriela Tarifa, Silvia Lizeth Tapia George, Chris Model checking LTL formulae in RAISE with FDR IFM, 231-245 (2009). 2009 EN

doi:10.1007/978-3-642-00255-7_16