DMCA

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

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Citations:28 - 19 self