Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs (2001)

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Citations:17 - 11 self