Concurrency verification : introduction to compositional and noncompositional methods - Roever, W.-P. de, 1943- (Cambridge : Cambridge University Press, 2001)
Keywords: výpočetní technika; computer science; monografie; monographs