The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems [chapter]

Jorge Santos, Zita Vale, Carlos Serdio, Carlos Ramos
2008 Robotics Automation and Control  
doi:10.5772/5835 fatcat:6snd3zg5sfhqvenscehecr73be