Planning as model checking tasks

10.1109/SEW.2012.25

Saved in:

Bibliographic Details
Main Authors:	Li, Y., Sun, J., Dong, J.S., Liu, Y.
Other Authors:	TEMASEK LABORATORIES
Format:	Conference or Workshop Item
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78287
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78287
record_format	dspace
spelling	sg-nus-scholar.10635-782872023-10-30T09:52:07Z Planning as model checking tasks Li, Y. Sun, J. Dong, J.S. Liu, Y. Sun, J. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1109/SEW.2012.25 Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012 177-186 2014-07-04T03:14:36Z 2014-07-04T03:14:36Z 2012 Conference Paper Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J. (2012). Planning as model checking tasks. Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012 : 177-186. ScholarBank@NUS Repository. https://doi.org/10.1109/SEW.2012.25 9780769549477 http://scholarbank.nus.edu.sg/handle/10635/78287 000320453500019 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1109/SEW.2012.25
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Li, Y. Sun, J. Dong, J.S. Liu, Y. Sun, J.
format	Conference or Workshop Item
author	Li, Y. Sun, J. Dong, J.S. Liu, Y. Sun, J.
spellingShingle	Li, Y. Sun, J. Dong, J.S. Liu, Y. Sun, J. Planning as model checking tasks
author_sort	Li, Y.
title	Planning as model checking tasks
title_short	Planning as model checking tasks
title_full	Planning as model checking tasks
title_fullStr	Planning as model checking tasks
title_full_unstemmed	Planning as model checking tasks
title_sort	planning as model checking tasks
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78287
_version_	1781783848446590976

Planning as model checking tasks

Similar Items