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!

Internet

Get Online

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available