Synthesis of Schedulers for Planned Shutdown of (1996)

by al
Venue:Power Plants, Eleventh Knowledge-Based Software Engineering Conference, IEEE Computer Society Press, Los Alamitos, CA