EasyChair Smart Slide
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs