An expressively complete temporal logic without past tense operators for Mazurkiewicz traces (1999)

Cached

Download Links

by Volker Diekert , Paul Gastin
Citations:9 - 1 self