2nd CAV 1990: New Brunswick, NJ, USA

Refine list

showing all ?? records

1. Tools and Computation

2. Partial Orders

3. Reduction in Finite State Systems

4. Automaton Models

5. Model Synthesis

6. Theorem-Provers

7. Process Algebra

a service of  Schloss Dagstuhl - Leibniz Center for Informatics