previous up next
Go backward to General Invariance Proofs
Go up to Top
Go forward to Eventuality Properties
RISC-Linz logo

More About Invariance Proofs


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next