Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems release_2oky6lrgjff6nhqzubqxcep4ku

by Pavithra Prabhakar, Miriam García Soto

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2015   p318-335

Archived Files and Locations

application/pdf  583.1 kB
file_jtrdjrorejhbhldue4cfegmh6e
web.archive.org (webarchive)
people.cs.ksu.edu:80 (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2015
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2e8ba3c2-c9c5-47e7-a3e4-da8e4accdbca
API URL: JSON