Paper

Data

Name Alur R, Courcoubetis C, Henzinger T, Ho P (1993)

Description

Title Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems

References

Authors Alur R Show Other Courcoubetis C Show Other Henzinger T Show Other Ho P Show Other

Volume 736

First page 209

Last page 229

Publisher

Pubmed ID

Year published 1993

Month published

Day published

Journal or book name Proceedings of Hybrid Systems I, LNCS

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species