@inproceedings{conf/wgec/WeiDLL09,
  added-at = {2016-01-28T00:00:00.000+0100},
  author = {Wei, Zhao and Dong, Rongsheng and Luo, Xiangyu and Liu, Fang},
  biburl = {http://www.bibsonomy.org/bibtex/217d592c1f9fa9a83cfd3155bca73e8ca/dblp},
  booktitle = {WGEC},
  crossref = {conf/wgec/2009},
  ee = {http://doi.ieeecomputersociety.org/10.1109/WGEC.2009.86},
  interhash = {a5f03883b9c737f03bce835bab93c066},
  intrahash = {17d592c1f9fa9a83cfd3155bca73e8ca},
  isbn = {978-0-7695-3899-0},
  keywords = {dblp},
  pages = {248-251},
  publisher = {IEEE Computer Society},
  timestamp = {2016-01-29T11:46:59.000+0100},
  title = {Model Checking Airline Tickets Reservation System Based on BPEL.},
  url = {http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09},
  year = 2009
}

{"_id":"LikpwymaXqfuDkzLh","bibbaseid":"wei-dong-luo-liu-modelcheckingairlineticketsreservationsystembasedonbpel-2009","downloads":0,"creationDate":"2016-06-28T06:36:14.522Z","title":"Model Checking Airline Tickets Reservation System Based on BPEL.","author_short":["Wei, Z.","Dong, R.","Luo, X.","Liu, F."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Fang Liu?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Wei"],"firstnames":["Zhao"],"suffixes":[]},{"propositions":[],"lastnames":["Dong"],"firstnames":["Rongsheng"],"suffixes":[]},{"propositions":[],"lastnames":["Luo"],"firstnames":["Xiangyu"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Fang"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/217d592c1f9fa9a83cfd3155bca73e8ca/dblp","booktitle":"WGEC","crossref":"conf/wgec/2009","ee":"http://doi.ieeecomputersociety.org/10.1109/WGEC.2009.86","interhash":"a5f03883b9c737f03bce835bab93c066","intrahash":"17d592c1f9fa9a83cfd3155bca73e8ca","isbn":"978-0-7695-3899-0","keywords":"dblp","pages":"248-251","publisher":"IEEE Computer Society","timestamp":"2016-01-29T11:46:59.000+0100","title":"Model Checking Airline Tickets Reservation System Based on BPEL.","url":"http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09","year":"2009","bibtex":"@inproceedings{conf/wgec/WeiDLL09,\n added-at = {2016-01-28T00:00:00.000+0100},\n author = {Wei, Zhao and Dong, Rongsheng and Luo, Xiangyu and Liu, Fang},\n biburl = {http://www.bibsonomy.org/bibtex/217d592c1f9fa9a83cfd3155bca73e8ca/dblp},\n booktitle = {WGEC},\n crossref = {conf/wgec/2009},\n ee = {http://doi.ieeecomputersociety.org/10.1109/WGEC.2009.86},\n interhash = {a5f03883b9c737f03bce835bab93c066},\n intrahash = {17d592c1f9fa9a83cfd3155bca73e8ca},\n isbn = {978-0-7695-3899-0},\n keywords = {dblp},\n pages = {248-251},\n publisher = {IEEE Computer Society},\n timestamp = {2016-01-29T11:46:59.000+0100},\n title = {Model Checking Airline Tickets Reservation System Based on BPEL.},\n url = {http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09},\n year = 2009\n}\n\n","author_short":["Wei, Z.","Dong, R.","Luo, X.","Liu, F."],"key":"conf/wgec/WeiDLL09","id":"conf/wgec/WeiDLL09","bibbaseid":"wei-dong-luo-liu-modelcheckingairlineticketsreservationsystembasedonbpel-2009","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/WGEC.2009.86","Paper":"http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09"},"keyword":["dblp"],"downloads":0},"search_terms":["model","checking","airline","tickets","reservation","system","based","bpel","wei","dong","luo","liu"],"keywords":["dblp"],"authorIDs":[],"dataSources":["fpXCfrFZJBDNs2m89"]}