Semantics and Verification of Hierarchical CRP Programs

R. K. Shyamasundar, S. Ramesh. Semantics and Verification of Hierarchical CRP Programs. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science, pages 436-461, Springer, 1994.

Authors

R. K. Shyamasundar

This author has not been identified. Look up 'R. K. Shyamasundar' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google