Login / Signup

Cycle detection in computation tree logic.

Gaëlle FontaineFabio MogaveroAniello MuranoGiuseppe PerelliLoredana Sorrentino
Published in: Inf. Comput. (2018)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • image processing
  • bounded model checking