bibtex

@inproceedings{QS08,
    title = {Specification and Verification of Conurrent Systems in Cesar },
    author = {Queille, Jean-Pierre and Sifakis, Joseph},
    year = {2008},
    booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
    pages = {216-230},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5000},
    team = {DCS, RSD},
}


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

info visites 4190113