@inproceedings{ dblp1488437,
  title = {Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic},
  author = {Morteza Yousef Sanati and Wendy MacCaull and T. S. E. Maibaum},
  author_short = {Yousef Sanati, M. and MacCaull, W. and Maibaum, T. S. E.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1488437},
  id = {dblp1488437},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/SanatiMM14},
  url = {http://dx.doi.org/10.1007/978-3-319-06410-9_41},
  conference = {FM},
  pages = {611-626},
  text = {FM 2014:611-626},
  booktitle = {Proceedings of Formal Methods (FM)}
}

{"_id":{"_str":"540917ba480d3bb0580008d5"},"__v":0,"authorIDs":[],"author_short":["Yousef Sanati, M.","MacCaull, W.","Maibaum, T. S. E."],"bibbaseid":"yousefsanati-maccaull-maibaum-analyzingclinicalpracticeguidelinesusingadecidablemetricintervalbasedtemporallogic-2014","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06410-9_41"},"role":"author","bibbaseid":"yousefsanati-maccaull-maibaum-analyzingclinicalpracticeguidelinesusingadecidablemetricintervalbasedtemporallogic-2014","bibtex":"@inproceedings{ dblp1488437,\n title = {Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic},\n author = {Morteza Yousef Sanati and Wendy MacCaull and T. S. E. Maibaum},\n author_short = {Yousef Sanati, M. and MacCaull, W. and Maibaum, T. S. E.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1488437},\n id = {dblp1488437},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/SanatiMM14},\n url = {http://dx.doi.org/10.1007/978-3-319-06410-9_41},\n conference = {FM},\n pages = {611-626},\n text = {FM 2014:611-626},\n booktitle = {Proceedings of Formal Methods (FM)}\n}","booktitle":"Proceedings of Formal Methods (FM)","text":"FM 2014:611-626","pages":"611-626","conference":"FM","url":"http://dx.doi.org/10.1007/978-3-319-06410-9_41","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/SanatiMM14","id":"dblp1488437","key":"dblp1488437","year":"2014","type":"inproceedings","bibtype":"inproceedings","author_short":["Yousef Sanati, M.","MacCaull, W.","Maibaum, T. S. E."],"author":["Morteza Yousef Sanati","Wendy MacCaull","T. S. E. Maibaum"],"title":"Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/SanatiMM14","creationDate":"2014-09-05T01:54:02.824Z","downloads":0,"keywords":[],"search_terms":["analyzing","clinical","practice","guidelines","using","decidable","metric","interval","based","temporal","logic","yousef sanati","maccaull","maibaum"],"title":"Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic","year":2014,"dataSources":["wDFJXzyH3bSRgoopn"]}