%0 Conference Paper %1 conf/qsic/SongMYDL09 %A Song, Wei %A Ma, Xiaoxing %A Ye, Chunyang %A Dou, Wanchun %A Lu, Jian %B QSIC %D 2009 %E Choi, Byoungju %I IEEE Computer Society %K dblp %P 92-97 %T Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2009.html#SongMYDL09 %@ 978-0-7695-3828-0

@inproceedings{conf/qsic/SongMYDL09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Song, Wei and Ma, Xiaoxing and Ye, Chunyang and Dou, Wanchun and Lu, Jian}, biburl = {https://www.bibsonomy.org/bibtex/24354dbe941281658f67b56b360f2af74/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2009}, editor = {Choi, Byoungju}, ee = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2009.20}, interhash = {9f8dcd8602ca4b4900be23369bcf9ec6}, intrahash = {4354dbe941281658f67b56b360f2af74}, isbn = {978-0-7695-3828-0}, keywords = {dblp}, pages = {92-97}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:18:33.000+0200}, title = {Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2009.html#SongMYDL09}, year = 2009 }