Realizability and Verification of MSC Graphs.

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

Browse the full ICALP paper archive.