Login / Signup

Bisimulations Up-to for the Linear Time Branching Time Spectrum.

David de Frutos-EscrigCarlos Gregorio-Rodríguez
Published in: CONCUR (2005)
Keyphrases
  • temporal logic
  • temporal reasoning
  • worst case
  • cognitive radio networks
  • multi fractal
  • model checking
  • power spectrum
  • social networks
  • feature extraction
  • wide range
  • hidden markov models
  • epistemic logic