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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4096114