Efficient CTL* model checking for analysis of rainbow designs.

Willem Visser Howard Barringer Donal Fellows Graham Gough Alan Williams Efficient CTL* model checking for analysis of rainbow designs. 128-145 1997 conf/charme/1997 CHARME db/conf/charme/charme1997.html#VisserBFGW97