bibtex

@article{Sif5,
    title = {System Design Automation: Challenges and Limitations },
    author = {Sifakis, Joseph},
    year = {2015},
    journal = {Proceedings of the {IEEE}},
    number = {11},
    pages = {2093--2103},
    volume = {103},
    team = {RSD},
}

Publication Sections


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

info visites 1198518