@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}
}

{"_id":"8AzCXcK6mk54EyJwu","bibbaseid":"sanwal-siddique-combiningrefinementandsignaltemporallogicforbiologicalsystems-2017","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Sanwal, U.","Siddique, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Combining Refinement and Signal-Temporal Logic for Biological Systems","author":[{"propositions":[],"lastnames":["Sanwal"],"firstnames":["Usman"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]}],"booktitle":"International Conference on Intelligent Computer Mathematics","pages":"333–339","year":"2017","organization":"Springer, Cham","bibtex":"@inproceedings{sanwal2017combining,\n title={Combining Refinement and Signal-Temporal Logic for Biological Systems},\n author={Sanwal, Usman and Siddique, Umair},\n booktitle={International Conference on Intelligent Computer Mathematics},\n pages={333--339},\n year={2017},\n organization={Springer, Cham}\n}\n\n","author_short":["Sanwal, U.","Siddique, U."],"key":"sanwal2017combining","id":"sanwal2017combining","bibbaseid":"sanwal-siddique-combiningrefinementandsignaltemporallogicforbiologicalsystems-2017","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:37:50.282Z","downloads":0,"keywords":[],"search_terms":["combining","refinement","signal","temporal","logic","biological","systems","sanwal","siddique"],"title":"Combining Refinement and Signal-Temporal Logic for Biological Systems","year":2017,"dataSources":["uJ4pwb9QCmSwZvTf3"]}