Realizability and verification of MSC graphs (2001)

by R Alur, K Etessami, M Yannakakis
Venue:In ICALP