(1982). Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Style de citation Chicago (17e éd.)Verifying Concurrent Processes Using Temporal Logic / Brent T. Hailpern. 1982.
Style de citation MLA (9e éd.)Verifying Concurrent Processes Using Temporal Logic / Brent T. Hailpern. 1982.
Attention : ces citations peuvent ne pas être correctes à 100%.