Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. / Crampton, J.; Huth, M.

Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. / Crampton, J.; Huth, M.

Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Crampton, J & Huth, M 2011, Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. in Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems.

APA

Crampton, J., & Huth, M. (2011). Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. In Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems

Vancouver

Crampton J, Huth M. Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. In Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems. 2011

Author

Crampton, J. ; Huth, M. / Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems. 2011.

BibTeX

@inproceedings{0981ce4558c44fb98f72c4050a6d15e4,
title = "Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods",
author = "J. Crampton and M. Huth",
note = "To appear",
year = "2011",
language = "English",
booktitle = "Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems",

}

RIS

TY - GEN

T1 - Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods

AU - Crampton, J.

AU - Huth, M.

N1 - To appear

PY - 2011

Y1 - 2011

M3 - Conference contribution

BT - Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems

ER -