%0 Book
%A Brent T. Hailpern
%T Verifying concurrent processes using temporal logic
%U /book/101373196/Verifying-concurrent-processes-using-temporal-logi/