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 4.2.16 + AHUNTSIC [CC License]

info visites 4127216