bibtex

@book{DDH+01,
    title = {Concurrency Verification: Introduction to Compositonal and Noncompositional Methods },
    author = {De Roever, Willem-Paul and De Boer, Frank and Hannemann, Ulrich and Lakhnech, Yassine and Poel, Mannes and Zwiers, Job},
    year = {2001},
    publisher = {Cambridge University Press},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1308554