hmilogo

BibTeX

@BOOK{Roeverde114:2001,
 author={W.P. de Roever and U. Hanneman and J. Hooiman and Y. Lakhneche and M. Poel and J. Zwiers and F.S. de Boer},
 title={Concurrency Verification. Introduction to Compositional and Noncompositional Methods},
 publisher={Cambridge University Press},
 year=2001,
 volume={54},
 series={Cambridge Tracts in Theoretical Computer Science},
 address={Cambridge, UK},
 note={ISBN=0-521-80608-9},
}

old Parlevink website   colophon   [Back] .