Automata-based verification of programs with tree updates Peter HabermehlRadu IosifTomáš Vojnar Original Article 21 November 2009 Pages: 1 - 31
Symmetry and partial order reduction techniques in model checking Rebeca Mohammad Mahdi JaghooriMarjan SirjaniAli Movaghar Original Article 18 December 2009 Pages: 33 - 66
M/M/1 retrial queue with working vacations Tien Van Do Original Article 13 December 2009 Pages: 67 - 75