DMCA

Using Abstractions for the Verification of Linear Hybrid Systems (1994)

Cached

Download Links

by Olivero Sifakis , A. Olivero , J. Sifakis , S. Yovine
Venue:Proceedings of the 6th Annual Conference on Computer-Aided Verification, Lecture Notes in Computer Science 818
Citations:21 - 5 self