On the structure of dependence graphs

Authors:
A. Ehrenfeucht;G. Rozenberg
Affiliations:
-;-
Venue:
Concurrency and nets: advances in Petri nets
Year:
1987

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