Correct and Efficient Antichain Algorithms for Refinement Checking - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Maurice Laveaux, Jan Friso Groote, Tim A.C. Willemse. Correct and Efficient Antichain Algorithms for Refinement Checking. In Proc. of FORTE 2019. 2019.

@inproceedings{LaveauxGW2019,
  title = {Correct and Efficient Antichain Algorithms for Refinement Checking},
  author = {Maurice Laveaux and Jan Friso Groote and  Tim A.C. Willemse},
  year = {2019},
  note = {To Appear},
  researchr = {https://researchr.org/publication/LaveauxGW2019},
  cites = {0},
  citedby = {0},
  booktitle = {Proc. of FORTE 2019},
}

runs on WebDSL