Assume-guarantee reasoning for hierarchical hybrid systems. Henzinger, T. A., Minea, M., & Prabhu, V. In Int. Work. Hybrid Syst. Comput. Control, pages 275–290, 2001. Springer.
bibtex   
@InProceedings{SCC.Henzinger.Minea.ea2001,
  author       = {Henzinger, Thomas A. and Minea, Marius and Prabhu, Vinayak},
  title        = {Assume-guarantee reasoning for hierarchical hybrid systems},
  booktitle    = {Int. Work. Hybrid Syst. Comput. Control},
  year         = {2001},
  pages        = {275--290},
  organization = {Springer},
  keywords     = {DOE-BENEFIT, Assume-GuaranteeDOE-Assume-Guarantee},
}
Downloads: 0