bibtex

@inproceedings{OFM+4,
    title = { {A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving} },
    author = {Oulkaid, Oussama and Ferres, Bruno and Moy, Matthieu and Raymond, Pascal and Khosravian, Mehdi and Henrio, Ludovic and Radanne, Gabriel},
    month = {Mar},
    year = {2024},
    booktitle = {{Design, Automation and Test in Europe Conference}},
    address = {Valencia, Spain},
    team = {SYNC, axe_SharedResources},
    pdf = {https://hal.science/hal-04527225/file/date2024.pdf}, hal_id = {hal-04527225}, hal_version = {v1},
}

URL


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

info visites 4121946