Return to Article Details
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Download
Download PDF