Formal Methods : Applications and TechnologyLubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · First published 2007Open the Tome
CONCUR 2002 - Concurrency TheoryLubos Brim, Petr Jancar, Mojmir Kretinsky, Antonín Kucera · First published 2003Open the Tome
CONCUR 2002-concurrency theoryLubos Brim, Petr Jancar, Mojmir Kretinsky, Antonín Kucera · First published 2002Open the Tome
Mathematical Foundations of Computer Science, 1998Lubos Brim, Josef Gruska, Gerhard Goos, Juris Hartmanis · First published 1998Open the Tome
