The verification of temporal knowledge based systems - a case-study on power-systems.

Jorge Santos, Zita A. Vale, Carlos Ramos, Carlos Serdio

Browse the full ICINCO paper archive.