CTL as an Intermediate Language

@inproceedings{Jones2008CTLAA,
  title={CTL as an Intermediate Language},
  author={Neil D. Jones and Ren{\'e} Rydhof Hansen},
  booktitle={VMCAI},
  year={2008}
}

Similar Papers

Loading similar papers…