BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@techreport{TUW-278607,
    author = {Schmid, Ulrich},
    title = {FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits},
    institution = {E191 - Institute of Computer Engineering; Vienna University of Technology},
    year = {2018},
    number = {TUW-278607},
    url = {https://publik.tuwien.ac.at/files/publik_278607.pdf},
    keywords = {Digital integrated circuits, continuous-time delay modeling, dynamic timing analysis, model composition, correctness proofs, formal verification.}
}


1 Datensatz ausgegeben