Παραπομπή σε μορφή APA (7η εκδ.)

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 (17η εκδ.)

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 εκδ.)

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.