Temporal Logic of Reactive and Concurrent Systems Specification Manna Zohar Innbundet / 1991 / Engelsk
Calculus of Computation Decision Procedures with Applications to Verification Bradley Aaron R. Innbundet / 2007 / Engelsk
Calculus of Computation Decision Procedures with Applications to Verification Bradley Aaron R. Heftet / 2010 / Engelsk
