DMCA

LTL is expressively complete for Mazurkiewicz Traces (2000)

by Volker Diekert , Paul Gastin
Citations:22 - 10 self