Publications

Model checking semi-continuous time models using BDDs

• • Sérgio Campos
  • Márcio Teixeira
  • et al.
• 2001
• Electronic Notes in Theoretical Computer Science