An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages

Authors:
Doron Peled;Thomas Wilke;Pierre Wolper
Affiliations:
-;-;-
Venue:
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Year:
1996

Citing 0
Cited 3

Events in Property Patterns

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
An expressively complete linear time temporal logic for Mazurkiewicz traces

Information and Computation - Special issue: LICS'97
Adding Partial Orders to Linear Temporal Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract