Using Agent JPF to Build Models for Other Model Checkers

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-40624-9_17 ◽

2013 ◽

pp. 273-289 ◽

Cited By ~ 2

Author(s):

Louise A. Dennis ◽

Michael Fisher ◽

Matt Webster

Download Full-text