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


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

info visites 4125599