A Framework for the Specification of Reactive and Concurrent Systems in Z

Sorry, there's nothing here.

Cite this paper

@inproceedings{Baumann1995AFF, title={A Framework for the Specification of Reactive and Concurrent Systems in Z}, author={Peter Baumann and Karl Lermer}, booktitle={FSTTCS}, year={1995} }