Vinayak S.prabhu


AuthID: R-001-X50

Publications Awaiting Confirmation

11
TITLE: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
AUTHORS: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLISHED: 2001, SOURCE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
Page 2 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service