Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
Synthesis of Schedulers for Planned Shutdowns of Power Plants
ASE, 1996.
@inproceedings{KBSE-1996-GomesSW,
author = "Carla P. Gomes and Douglas R. Smith and Stephen J. Westfold",
booktitle = "{Proceedings of the 11th Annual Knowledge-Based Software Engineering Conference}",
editor = "Doug White and Chris Welty",
pages = "6",
publisher = "{IEEE Computer Society}",
title = "{Synthesis of Schedulers for Planned Shutdowns of Power Plants}",
url = "http://www.ase-conferences.org/ase/past/abstracts-96/gomes.txt",
year = 1996,
}