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


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

info visites 4121944