@inproceedings{7822e6465b9645649d0d95461cc0edf8,
title = "Efficiently Verifying Safety Properties with Idle Office Computers",
keywords = "distributed algorithm, model checking, state space enumeration, distributed algorithm, model checking, state space enumeration, distributed algorithm, model checking, state space enumeration",
author = "Marko M{\"a}kel{\"a}",
year = "2002",
language = "English",
pages = "11--16",
editor = "Charles Lakos and Robert Esser and Kristensen, {Lars M.} and Jonathan Billington",
booktitle = "Workshop on Software Engineering and Formal Methods, Adelaide, June 2002",
publisher = "Australian Computer Society",
address = "Australia",
}