Travelled to:
1 × Germany
Collaborated with:
C.Meinel
Talks about:
variabl (1) reorder (1) increas (1) acceler (1) symbol (1) effici (1) model (1) dynam (1) check (1)
Person: Christian Stangier
DBLP: Stangier:Christian
Contributed to:
Wrote 1 papers:
- DATE-1999-MeinelS #model checking #order #performance
- Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering (CM, CS), pp. 760–761.