Combining Refinement and Signal-Temporal Logic for Biological Systems. Sanwal, U. & Siddique, U. In International Conference on Intelligent Computer Mathematics, pages 333–339, 2017. Springer, Cham.
bibtex   
@inproceedings{sanwal2017combining,
  title={Combining Refinement and Signal-Temporal Logic for Biological Systems},
  author={Sanwal, Usman and Siddique, Umair},
  booktitle={International Conference on Intelligent Computer Mathematics},
  pages={333--339},
  year={2017},
  organization={Springer, Cham}
}

Downloads: 0