Login / Signup

Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.

Paul GastinMadhavan MukundK. Narayan Kumar
Published in: MFCS (2003)
Keyphrases