An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (1997)

Cached

Download Links

by P. S. Thiagarajan , I. Walukiewicz
Citations:42 - 5 self