Publications

1 result for Sérgio Campos

Model checking semi-continuous time models using BDDs
- - Sérgio Campos
  - Márcio Teixeira
  - et al.
- 2001
- Electronic Notes in Theoretical Computer Science