previous up next
Go backward to The Rules of Simple Temporal Logic
Go up to Top
Go forward to Additional Rules
RISC-Linz logo

The Basic Rules of TLA

Additional Rules


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next