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:17 - 2 self