Synthesis of schedulers for planned shutdowns of power plants

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold. Synthesis of schedulers for planned shutdowns of power plants. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996. pages 12-20, IEEE Computer Society, 1996. [doi]

Authors

Carla P. Gomes

This author has not been identified. Look up 'Carla P. Gomes' in Google

Douglas R. Smith

This author has not been identified. Look up 'Douglas R. Smith' in Google

Stephen J. Westfold

This author has not been identified. Look up 'Stephen J. Westfold' in Google