bibtex

@incollection{Moy05b,
    title = { Chapter 5.9, Formal Verification },
    author = {Moy, Matthieu},
    year = {2005},
    booktitle = {Transaction-Level Modeling with {SystemC}. {TLM} Concepts and Applications for Embedded Systems},
    pages = {190--206},
    publisher = {Springer},
    team = {SYNC},
}

URL


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

info visites 3900855