@inproceedings{ dblp1745685,
  title = {Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions},
  author = {Xuan-Linh Ha and Thanh Tho Quan and Yang Liu and Jun Sun},
  author_short = {Ha, X. and Tho Quan, T. and Liu, Y. and Sun, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1745685},
  id = {dblp1745685},
  biburl = {http://www.dblp.org/rec/bibtex/conf/apsec/HaQL013},
  url = {http://dx.doi.org/10.1109/APSEC.2013.79},
  conference = {APSEC},
  pages = {547-552},
  text = {APSEC 2013:547-552},
  booktitle = {Proceedings of Asia-Pacific Software Engineering Conference (APSEC)}
}

{"_id":"4Ft8NtcnBj85ye6ur","authorIDs":[],"author_short":["Ha, X.","Quan, T.<nbsp>T.","Liu, Y.","Sun, J."],"bibbaseid":"ha-quan-liu-sun-multicoremodelcheckingalgorithmsforltlverificationwithfairnessassumptions-2013","bibdata":{"author":["Ha, Xuan-Linh","Quan, Thanh Tho","Liu, Yang","Sun, Jun"],"author_short":["Ha, X.","Quan, T.<nbsp>T.","Liu, Y.","Sun, J."],"bibtex":"@inproceedings{ dblp1745685,\n title = {Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions},\n author = {Xuan-Linh Ha and Thanh Tho Quan and Yang Liu and Jun Sun},\n author_short = {Ha, X. and Tho Quan, T. and Liu, Y. and Sun, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1745685},\n id = {dblp1745685},\n biburl = {http://www.dblp.org/rec/bibtex/conf/apsec/HaQL013},\n url = {http://dx.doi.org/10.1109/APSEC.2013.79},\n conference = {APSEC},\n pages = {547-552},\n text = {APSEC 2013:547-552},\n booktitle = {Proceedings of Asia-Pacific Software Engineering Conference (APSEC)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/apsec/HaQL013","booktitle":"Proceedings of Asia-Pacific Software Engineering Conference (APSEC)","conference":"APSEC","id":"dblp1745685","key":"dblp1745685","pages":"547-552","text":"APSEC 2013:547-552","title":"Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions","type":"inproceedings","url":"http://dx.doi.org/10.1109/APSEC.2013.79","year":"2013","bibbaseid":"ha-quan-liu-sun-multicoremodelcheckingalgorithmsforltlverificationwithfairnessassumptions-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/APSEC.2013.79"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.772Z","downloads":0,"keywords":[],"search_terms":["multi","core","model","checking","algorithms","ltl","verification","fairness","assumptions","ha","quan","liu","sun"],"title":"Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions","year":2013,"dataSources":["mpMYjTrc4gjXaNRQh"]}