Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Paula Herber

Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving

IFIP Advances in Information and Communication Technology

Computer Networks

Information Systems

English