APA (7th ed.) Citation

Balser, M. (2006). Verifying concurrent systems with symbolic execution: Temporal reasoning is symbolic execution with a little induction. Shaker.

Chicago Style (17th ed.) Citation

Balser, Michael. Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning Is Symbolic Execution with a Little Induction. Aachen: Shaker, 2006.

MLA (9th ed.) Citation

Balser, Michael. Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning Is Symbolic Execution with a Little Induction. Shaker, 2006.