Travelled to:
1 × United Kingdom
Collaborated with:
T.Bao
Talks about:
magnet (1) effici (1) model (1) check (1) time (1) disk (1)
Person: Michael D. Jones
DBLP: Jones:Michael_D=
Contributed to:
Wrote 1 papers:
- TACAS-2005-BaoJ #model checking
- Time-Efficient Model Checking with Magnetic Disk (TB, MDJ), pp. 526–540.