Travelled to:1 × Canada
Collaborated with:W.Johnston K.Winter P.A.Strooper P.J.Robinson
Talks about:model (2) variabl (1) transit (1) symbol (1) effici (1) order (1) check (1) base (1)
Person: Lionel van den Berg
DBLP: Berg:Lionel_van_den
Contributed to:
2006Wrote 1 papers:
- FM-2006-JohnstonWBSR #model checking #modelling #order #performance
- Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.