Distributed verification: Exploring the power of raw computing power (2006)

by Luboš Brim
Venue:Formal Methods: Applications and Technology, volume 4346 of Lecture Notes in Computer Science