@inproceedings{ dblp3412223,
  title = {CTL Model-Checking over Logics with Non-Classical Negations},
  author = {Marsha Chechik and Wendy MacCaull},
  author_short = {Chechik, M. and MacCaull, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2003},
  key = {dblp3412223},
  id = {dblp3412223},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ismvl/ChechikM03},
  url = {http://computer.org/proceedings/ismvl/1918/19180293abs.htm},
  conference = {ISMVL},
  pages = {293-},
  text = {ISMVL 2003:293-},
  booktitle = {Proceedings of International Symposium on Multiple-Valued Logic (ISMVL)}
}

{"_id":{"_str":"5254344e22ea65a14200044e"},"__v":2,"authorIDs":[],"author_short":["Chechik, M.","MacCaull, W."],"bibbaseid":"chechik-maccaull-ctlmodelcheckingoverlogicswithnonclassicalnegations-2003","bibdata":{"downloads":0,"urls":{"Paper":"http://computer.org/proceedings/ismvl/1918/19180293abs.htm"},"role":"author","bibbaseid":"chechik-maccaull-ctlmodelcheckingoverlogicswithnonclassicalnegations-2003","bibtex":"@inproceedings{ dblp3412223,\n title = {CTL Model-Checking over Logics with Non-Classical Negations},\n author = {Marsha Chechik and Wendy MacCaull},\n author_short = {Chechik, M. and MacCaull, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2003},\n key = {dblp3412223},\n id = {dblp3412223},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ismvl/ChechikM03},\n url = {http://computer.org/proceedings/ismvl/1918/19180293abs.htm},\n conference = {ISMVL},\n pages = {293-},\n text = {ISMVL 2003:293-},\n booktitle = {Proceedings of International Symposium on Multiple-Valued Logic (ISMVL)}\n}","booktitle":"Proceedings of International Symposium on Multiple-Valued Logic (ISMVL)","text":"ISMVL 2003:293-","pages":"293-","conference":"ISMVL","url":"http://computer.org/proceedings/ismvl/1918/19180293abs.htm","biburl":"http://www.dblp.org/rec/bibtex/conf/ismvl/ChechikM03","id":"dblp3412223","key":"dblp3412223","year":"2003","type":"inproceedings","bibtype":"inproceedings","author_short":["Chechik, M.","MacCaull, W."],"author":["Marsha Chechik","Wendy MacCaull"],"title":"CTL Model-Checking over Logics with Non-Classical Negations"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ismvl/ChechikM03","downloads":0,"keywords":[],"search_terms":["ctl","model","checking","over","logics","non","classical","negations","chechik","maccaull"],"title":"CTL Model-Checking over Logics with Non-Classical Negations","year":2003,"dataSources":["34fiqRfZ252BHcqT8"]}