3 ms·
What Good Is Temporal Logic? (1983) [pdf]
- michaelsbradley 10y agoSee also Temporal Logic: The Lesser of Three Evils by the same author: http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf