%0 Conference Paper %1 conf/sew/Li0DL012 %A Li, Yi %A Sun, Jing %A Dong, Jin Song %A Liu, Yang %A Sun, Jun %B SEW %D 2012 %E Bowen, Jonathan P. %E Zhu, Huibiao %E Hinchey, Mike %I IEEE Computer Society %K dblp %P 177-186 %T Planning as Model Checking Tasks. %U http://dblp.uni-trier.de/db/conf/sew/sew2012.html#Li0DL012 %@ 978-1-4673-5574-2

@inproceedings{conf/sew/Li0DL012, added-at = {2023-06-26T00:00:00.000+0200}, author = {Li, Yi and Sun, Jing and Dong, Jin Song and Liu, Yang and Sun, Jun}, biburl = {https://www.bibsonomy.org/bibtex/24c76f085a2aea788c7ec240cd5890379/dblp}, booktitle = {SEW}, crossref = {conf/sew/2012}, editor = {Bowen, Jonathan P. and Zhu, Huibiao and Hinchey, Mike}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEW.2012.25}, interhash = {058b33296cbb55c5c8b6a130613ab70f}, intrahash = {4c76f085a2aea788c7ec240cd5890379}, isbn = {978-1-4673-5574-2}, keywords = {dblp}, pages = {177-186}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:17:46.000+0200}, title = {Planning as Model Checking Tasks.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2012.html#Li0DL012}, year = 2012 }