Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity

Authors:
David E. Muller;Ahmed Saoudi;Paul E. Schnupp
Affiliations:
-;-;-
Venue:
ICALP '86 Proceedings of the 13th International Colloquium on Automata, Languages and Programming
Year:
1986

Citing 0
Cited 4

Directed explicit model checking with HSF-SPIN

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Model Checking: A Tutorial Overview

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Literature

Automata logics, and infinite games
From linear time to branching time

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract