Travelled to:1 × Canada
Collaborated with:K.Winter L.v.d.Berg 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: Wendy Johnston
DBLP: Johnston:Wendy
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.