Combinatorial properties of dependence graphs

Authors:
A. Ehrenfeucht;H. J. Hoogeboom;G. Rozenberg
Affiliations:
-;-;-
Venue:
Information and Computation
Year:
1994

Citing 0
Cited 2

Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Safety and liveness properties for real traces and a direct translation from LTL to monoids

Formal and natural computing

Quantified Score

Hi-index	0.00

Visualization

Abstract