DBLP Record 'books/cu/RoeverBH2001'

BibTeX

@book{DBLP:books/cu/RoeverBH2001,
  author    = {Willem P. de Roever and
               Frank S. de Boer and
               Ulrich Hannemann and
               Jozef Hooman and
               Yassine Lakhnech and
               Mannes Poel and
               Job Zwiers},
  title     = {Concurrency Verification: Introduction to Compositional
               and Noncompositional Methods},
  publisher = {Cambridge University Press},
  series    = {Cambridge Tracts in Theoretical Computer Science},
  volume    = {54},
  year      = {2001},
  isbn      = {0-521-80608-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}