Extending Z with State Transition Constraints.

Kenji Taguchi, Keijiro Araki

Browse the full COMPSAC paper archive.