Concurrency Verification: Introduction to Compositional and Noncompositional Methods

W.P. de Roever, U. Hanneman, J. Hooiman, Y. Lakhneche, Mannes Poel, Jakob Zwiers, F. de Boer

Original languageEnglish
Place of PublicationCambridge, UK
PublisherCambridge University Press
Number of pages776
ISBN (Print)0-521-80608-9
StatePublished - 2001

Publication series

NameCambridge Tracts in Theoretical Computer Science
PublisherCambridge University Press
Volume54

Keywords

  • EWI-6622

Cite this

de Roever, W. P., Hanneman, U., Hooiman, J., Lakhneche, Y., Poel, M., Zwiers, J., & de Boer, F. (2001). Concurrency Verification: Introduction to Compositional and Noncompositional Methods. (Cambridge Tracts in Theoretical Computer Science; Vol. 54). Cambridge, UK: Cambridge University Press.

de Roever, W.P.; Hanneman, U.; Hooiman, J.; Lakhneche, Y.; Poel, Mannes; Zwiers, Jakob; de Boer, F. / Concurrency Verification : Introduction to Compositional and Noncompositional Methods.

Cambridge, UK : Cambridge University Press, 2001. 776 p. (Cambridge Tracts in Theoretical Computer Science; Vol. 54).

Research output: ScientificBook

@book{335c34f7a1d744fa8981c64704e889d6,
title = "Concurrency Verification: Introduction to Compositional and Noncompositional Methods",
keywords = "EWI-6622",
author = "{de Roever}, W.P. and U. Hanneman and J. Hooiman and Y. Lakhneche and Mannes Poel and Jakob Zwiers and {de Boer}, F.",
note = "Imported from HMI",
year = "2001",
isbn = "0-521-80608-9",
series = "Cambridge Tracts in Theoretical Computer Science",
publisher = "Cambridge University Press",

}

de Roever, WP, Hanneman, U, Hooiman, J, Lakhneche, Y, Poel, M, Zwiers, J & de Boer, F 2001, Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science, vol. 54, Cambridge University Press, Cambridge, UK.

Concurrency Verification : Introduction to Compositional and Noncompositional Methods. / de Roever, W.P.; Hanneman, U.; Hooiman, J.; Lakhneche, Y.; Poel, Mannes; Zwiers, Jakob; de Boer, F.

Cambridge, UK : Cambridge University Press, 2001. 776 p. (Cambridge Tracts in Theoretical Computer Science; Vol. 54).

Research output: ScientificBook

TY - BOOK

T1 - Concurrency Verification

T2 - Introduction to Compositional and Noncompositional Methods

AU - de Roever,W.P.

AU - Hanneman,U.

AU - Hooiman,J.

AU - Lakhneche,Y.

AU - Poel,Mannes

AU - Zwiers,Jakob

AU - de Boer,F.

N1 - Imported from HMI

PY - 2001

Y1 - 2001

KW - EWI-6622

M3 - Book

SN - 0-521-80608-9

T3 - Cambridge Tracts in Theoretical Computer Science

BT - Concurrency Verification

PB - Cambridge University Press

ER -

de Roever WP, Hanneman U, Hooiman J, Lakhneche Y, Poel M, Zwiers J et al. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge, UK: Cambridge University Press, 2001. 776 p. (Cambridge Tracts in Theoretical Computer Science).