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

Saved in:
Bibliographic Details
Main Authors: Jorge Santos (Author), Zita Vale (Author), Carlos Serôdio (Author), Carlos Ramos (Author)
Format: Ebooks
Published: IntechOpen, 2008-10-01.
Subjects:
Online Access:Get Online
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 00916 am a22002173u 4500
001 intechopen_books_3693
042 |a dc 
100 1 0 |a Jorge Santos  |e author 
700 1 0 |a Zita Vale  |e author 
700 1 0 |a Carlos Serôdio  |e author 
700 1 0 |a Carlos Ramos  |e author 
245 0 0 |a The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems 
260 |b IntechOpen,   |c 2008-10-01. 
500 |a https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems 
540 |a https://creativecommons.org/licenses/by-nc-sa/3.0/ 
546 |a en 
690 |a Robotics, Automation and Control 
655 7 |a Chapter, Part Of Book  |2 local 
786 0 |n https://www.intechopen.com/books/3693 
787 0 |n ISBN:978-953-7619-18-3 
856 \ \ |u https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems  |z Get Online