Travelled to:2 × Germany
Collaborated with:D.Bošnački D.Dams N.Sidorova
Talks about:scalarset (1) symmetri (1) heurist (1) reduct (1) model (1) check (1) spin (1) sdl (1)
Person: Leszek Holenderski
DBLP: Holenderski:Leszek
Contributed to:
2001
2000Wrote 2 papers:
- FME-2001-BosnackiDH #heuristic #reduction #symmetry
- A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
- TACAS-2000-BosnackiDHS #model checking
- Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.