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/Report › Book › Academic

1044 Downloads (Pure)

Name	Cambridge Tracts in Theoretical Computer Science
Publisher	Cambridge University Press
Volume	54

Access to Document

@book{335c34f7a1d744fa8981c64704e889d6,

title = "Concurrency Verification: Introduction to Compositional and Noncompositional Methods",

author = "{de Roever}, Willem-Paul and {de Boer}, Frank and Ulrich Hanneman and Jozef Hooman and Yassine Lakhneche and Mannes Poel and Job Zwiers",

year = "2001",

language = "English",

isbn = "0-521-80608-9",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

address = "United Kingdom",

}

TY - BOOK

T1 - Concurrency Verification

T2 - Introduction to Compositional and Noncompositional Methods

AU - de Roever, Willem-Paul

AU - de Boer, Frank

AU - Hanneman, Ulrich

AU - Hooman, Jozef

AU - Lakhneche, Yassine

AU - Poel, Mannes

AU - Zwiers, Job

PY - 2001

Y1 - 2001

M3 - Book

SN - 0-521-80608-9

T3 - Cambridge Tracts in Theoretical Computer Science

BT - Concurrency Verification

PB - Cambridge University Press

CY - Cambridge, UK

ER -