DMCA

Compositional modeling and refinement for hierarchical hybrid systems (2006)

by Rajeev Alur , Insup Lee , Oleg Sokolsky
Venue:Journal of Logic and Algebraic Programming
Citations:16 - 2 self