Compositional Reachability Analysis of Finite-State Distributed Systems With User-Specified Constraints
doi 10.1145/222124.222149
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1995
Authors
Publisher
ACM Press
Available in full text
January 1, 1995
ACM Press