Proving Temporal Properties of Hybrid Systems

Show full item record

Title: Proving Temporal Properties of Hybrid Systems
Author: Narain, Sanjai; Rothenberg, Jeff
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 1990
Series/Report No.: Winter Simulation Conference Proceedings
URI: http://www.lib.ncsu.edu/resolver/1840.4/6669


Files in this item

Files Size Format View
1990_0046.pdf 1.236Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record