Publications

1 result for Márcio Teixeira

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