Verification of Nonregular Temporal Properties for Context-Free Processes

@inproceedings{Bouajjani1994VerificationON,
  title={Verification of Nonregular Temporal Properties for Context-Free Processes},
  author={Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  booktitle={CONCUR},
  year={1994}
}

Similar Papers

Loading similar papers…