bibtex

@inproceedings{Sif4d,
    title = {Keynote talk {III:} {A} framework for modeling architectures and their properties },
    author = {Sifakis, Joseph},
    year = {2014},
    booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014},
    pages = {229--230},
    publisher = {{IEEE}},
    team = {RSD},
}

Publication Sections


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

info visites 1273760