Verimag

bibtex

@inproceedings{BS07d,
    title = {Causal Semantics for the Algebra of Connectors },
    author = {Bliudze, Simon and Sifakis, Joseph},
    year = {2007},
    booktitle = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures},
    pages = {179-199},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5382},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 897805