Login / Signup

A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum.

Luís Monteiro
Published in: WADT (2008)
Keyphrases
  • temporal reasoning
  • temporal logic
  • model checking
  • worst case
  • special case
  • data structure
  • search algorithm
  • minimum length
  • cognitive radio networks