Hardness of Preorder Checking for Basic Formalisms

@inproceedings{Bozzelli2010HardnessOP,
  title={Hardness of Preorder Checking for Basic Formalisms},
  author={Laura Bozzelli and Axel Legay and Sophie Pinchinat},
  booktitle={LPAR},
  year={2010}
}

Similar Papers

Loading similar papers…