Login / Signup

Computation Tree Logic for Synchronization Properties.

Krishnendu ChatterjeeLaurent Doyen
Published in: ICALP (2016)
Keyphrases
  • computation tree logic
  • temporal properties
  • model checking
  • desirable properties
  • image processing
  • expressive power