Fluent Model Checking for Event-based Systems (2003)

by Dimitra Giannakopoulou , Jeff Magee
Venue:In Proceedings of FSE
Citations:69 - 9 self