Original language | English |
---|---|
Title of host publication | Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems |
Publication status | Published - 2011 |
Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods
J. Crampton, M. Huth
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution