Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Browse the full TACAS paper archive.