Modelling and proving of truly concurrent systems with CATNets

Sorry, there's nothing here.

Cite this paper

@inproceedings{Bettaz1993ModellingAP, title={Modelling and proving of truly concurrent systems with CATNets}, author={Mohamed Bettaz and Abbas Mehemmel}, booktitle={PDP}, year={1993} }