@inproceedings{ dblp1550471,
  title = {Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions},
  author = {Henri Hansen and Shang-Wei Lin and Yang Liu and Truong Khanh Nguyen and Jun Sun},
  author_short = {Hansen, H. and Lin, S. and Liu, Y. and Khanh Nguyen, T. and Sun, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1550471},
  id = {dblp1550471},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/cav14.pdf},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/HansenLLN014},
  url = {http://dx.doi.org/10.1007/978-3-319-08867-9_26},
  conference = {CAV},
  pages = {391-406},
  text = {CAV 2014:391-406},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

{"_id":"T42qSF9kSM53bryJF","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Hansen, H.","Lin, S.","Liu, Y.","Nguyen, T.<nbsp>K.","Sun, J."],"bibbaseid":"hansen-lin-liu-nguyen-sun-diamondsareagirlsbestfriendpartialorderreductionfortimedautomatawithabstractions-2014","bibdata":{"author":["Hansen, Henri","Lin, Shang-Wei","Liu, Yang","Nguyen, Truong Khanh","Sun, Jun"],"author_short":["Hansen, H.","Lin, S.","Liu, Y.","Nguyen, T.<nbsp>K.","Sun, J."],"bibtex":"@inproceedings{ dblp1550471,\n title = {Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions},\n author = {Henri Hansen and Shang-Wei Lin and Yang Liu and Truong Khanh Nguyen and Jun Sun},\n author_short = {Hansen, H. and Lin, S. and Liu, Y. and Khanh Nguyen, T. and Sun, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1550471},\n id = {dblp1550471},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/cav14.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/HansenLLN014},\n url = {http://dx.doi.org/10.1007/978-3-319-08867-9_26},\n conference = {CAV},\n pages = {391-406},\n text = {CAV 2014:391-406},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/HansenLLN014","booktitle":"Proceedings of Computer Aided Verification (CAV)","conference":"CAV","id":"dblp1550471","key":"dblp1550471","pages":"391-406","text":"CAV 2014:391-406","title":"Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-319-08867-9_26","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/cav14.pdf","year":"2014","bibbaseid":"hansen-lin-liu-nguyen-sun-diamondsareagirlsbestfriendpartialorderreductionfortimedautomatawithabstractions-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-08867-9_26"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/cav14.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.695Z","downloads":0,"keywords":[],"search_terms":["diamonds","girl","best","friend","partial","order","reduction","timed","automata","abstractions","hansen","lin","liu","nguyen","sun"],"title":"Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}