Balser, M. (2006). Verifying concurrent systems with symbolic execution: Temporal reasoning is symbolic execution with a little induction. Shaker.
Chicago-Zitierstil (17. Ausg.)Balser, Michael. Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning Is Symbolic Execution with a Little Induction. Aachen: Shaker, 2006.
MLA-Zitierstil (9. Ausg.)Balser, Michael. Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning Is Symbolic Execution with a Little Induction. Shaker, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.