APA (7th ed.) Citation

Herdt, V. (2016). Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (1st ed. 2016.). Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg.

Chicago Style (17th ed.) Citation

Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs. 1st ed. 2016. Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.

MLA (8th ed.) Citation

Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs. 1st ed. 2016. Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.