The algorithmic analysis of hybrid systems

Public

The algorithmic analysis of hybrid systems

N

Shared by NobleBlocks on Feb 1, 1995 • 12:00 AM UTC

Authors:

R. Alur

,

C. Courcoubetis

,

N. Halbwachs

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!

Publication Date: Feb 1, 1995 • 12:00 AM UTC

DOI:10.1016/0304-3975(94)00202-t

No figures available

Generate Podcast

The algorithmic analysis of hybrid systems | NobleBlocks