Concurrency Verification: Introduction to Compositional and Noncompositional Methods

  • Willem-Paul de Roever
  • , Frank de Boer
  • , Ulrich Hanneman
  • , Jozef Hooman
  • , Yassine Lakhneche
  • , Mannes Poel
  • , Job Zwiers

    Research output: Book/ReportBookAcademic

    1214 Downloads (Pure)
    Original languageEnglish
    Place of PublicationCambridge, UK
    PublisherCambridge University Press
    Number of pages776
    ISBN (Print)0-521-80608-9
    Publication statusPublished - 2001

    Publication series

    NameCambridge Tracts in Theoretical Computer Science
    PublisherCambridge University Press
    Volume54

    Cite this