Realizability and Verification of MSC-Graphs (2002)

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Citations:69 - 0 self