Jorge Santos, Zita A. Vale, Carlos Ramos, Carlos Serôdio. The verification of temporal knowledge based systems - a case-study on power-systems. In Janan Zaytoon, Jean-Louis Ferrier, Juan Andrade-Cetto, Joaquim Filipe, editors, ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, Angers, France, May 9-12, 2007. pages 179-185, INSTICC Press, 2007.
Abstract is missing.