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

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Citations:31 - 22 self