%0 Conference Paper %1 conf/wgec/WeiDLL09 %A Wei, Zhao %A Dong, Rongsheng %A Luo, Xiangyu %A Liu, Fang %B WGEC %D 2009 %I IEEE Computer Society %K dblp %P 248-251 %T Model Checking Airline Tickets Reservation System Based on BPEL. %U http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09 %@ 978-0-7695-3899-0

@inproceedings{conf/wgec/WeiDLL09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wei, Zhao and Dong, Rongsheng and Luo, Xiangyu and Liu, Fang}, biburl = {https://www.bibsonomy.org/bibtex/217d592c1f9fa9a83cfd3155bca73e8ca/dblp}, booktitle = {WGEC}, crossref = {conf/wgec/2009}, ee = {https://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 = {2024-04-10T12:11:16.000+0200}, title = {Model Checking Airline Tickets Reservation System Based on BPEL.}, url = {http://dblp.uni-trier.de/db/conf/wgec/wgec2009.html#WeiDLL09}, year = 2009 }