The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems
Saved in:
| Main Authors: | , , , |
|---|---|
| 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 |