Volume 7, Issue 1
February 2005Special section on parallel and distributed model checking
7 articles in this issue
Special section on parallel and distributed model checking