Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
de Roever, W.P. and Hanneman, U. and Hooiman, J. and Lakhneche, Y. and Poel, M. and Zwiers, J. and de Boer, F.
(2001)
Concurrency Verification. Introduction to Compositional and Noncompositional Methods.
Cambridge Tracts in Theoretical Computer Science 54.
Cambridge University Press, Cambridge, UK.
ISBN 0-521-80608-9
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||