State Machines in Z Global Variables
These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.
![[Prev]](http://www.cs.cmu.edu/~SW_Managemnt/images/previous_motif.gif)
![[Next]](http://www.cs.cmu.edu/~SW_Managemnt/images/next_motif.gif)
![[Up]](http://www.cs.cmu.edu/~SW_Managemnt/images/up_motif.gif)
![[Quick Index]](http://www.cs.cmu.edu/~SW_Managemnt/images/quick_index.gif)
