bibtex

@inproceedings{EBS1,
    title = {A temporal configuration logic for dynamic reconfigurable systems },
    author = {El{-}Hokayem, Antoine and Bozga, Marius and Sifakis, Joseph},
    year = {2021},
    booktitle = {{SAC}},
    pages = {1419--1428},
    publisher = {{ACM}},
    team = {axe_Mohytos, RSD},
}


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

info visites 1994441