Realizability and verification of MSC graphs

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis. Realizability and verification of MSC graphs. Theoretical Computer Science, 331(1):97-114, 2005. [doi]

Abstract

Abstract is missing.