@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 0003 and Truong Khanh Nguyen and Jun Sun 0001},
  author_short = {Hansen, H. and Lin, S. and Liu 0003, Y. and Khanh Nguyen, T. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1550471},
  id = {dblp1550471},
  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":"zwAApQtWamPz3mxbr","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Hansen, H.","Lin, S.","Liu 0003, Y.","Khanh Nguyen, T.","Sun 0001, J."],"bibbaseid":"hansen-lin-liu0003-khanhnguyen-sun0001-diamondsareagirlsbestfriendpartialorderreductionfortimedautomatawithabstractions-2014","bibdata":{"title":"Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions","author":["Henri Hansen","Shang-Wei Lin","Yang Liu 0003","Truong Khanh Nguyen","Jun Sun 0001"],"author_short":["Hansen, H.","Lin, S.","Liu 0003, Y.","Khanh Nguyen, T.","Sun 0001, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1550471","id":"dblp1550471","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)","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 0003 and Truong Khanh Nguyen and Jun Sun 0001},\n author_short = {Hansen, H. and Lin, S. and Liu 0003, Y. and Khanh Nguyen, T. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1550471},\n id = {dblp1550471},\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}","bibbaseid":"hansen-lin-liu0003-khanhnguyen-sun0001-diamondsareagirlsbestfriendpartialorderreductionfortimedautomatawithabstractions-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-08867-9_26"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/HansenLLN014","creationDate":"2015-02-02T07:01:54.457Z","downloads":0,"keywords":[],"search_terms":["diamonds","girl","best","friend","partial","order","reduction","timed","automata","abstractions","hansen","lin","liu 0003","khanh nguyen","sun 0001"],"title":"Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions","year":2014,"dataSources":["9QHqBY6pbzqG5dTPK"]}