Login / Signup

Revising Specifications with CTL Properties Using Bounded Model Checking.

Marcelo FingerRenata Wassermann
Published in: SBIA (2008)
Keyphrases