How Linear Can Branching-Time Be?

Authors:
Orna Grumberg;Robert P. Kurshan
Affiliations:
-;-
Venue:
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Year:
1994

Citing 0
Cited 3

Linear, Branching Time and Joint ClosureSemantics for Temporal Logic

Journal of Logic, Language and Information
Relating word and tree automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
From Pre-Historic to Post-Modern Symbolic Model Checking

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract