hmilogo

Publication

Type of publication:Book
TitleConcurrency Verification. Introduction to Compositional and Noncompositional Methods
Year published 2001
Bibtex cite IDRoeverde114:2001
SeriesCambridge Tracts in Theoretical Computer Science
Volume54
PublisherCambridge University Press
LocationCambridge, UK
ISBN0-521-80608-9
Nr pages 776
Authors
W.P. de Roever
U. Hanneman
J. Hooiman
Y. Lakhneche
M. Poel 
J. Zwiers 
F.S. de Boer
BiBTeX BiBTeX
Eprints[Eprints]

old Parlevink website   colophon   [Back] .