bibtex

@inproceedings{DMS8a,
    title = {DReAM: Dynamic Reconfigurable Architecture Modeling },
    author = {De Nicola, Rocco and Maggi, Alessandro and Sifakis, Joseph},
    year = {2018},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {III}},
    pages = {13--31},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {11246},
    team = {RSD},
}


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

info visites 4187510