Rachel Ben-Eliyahu
Rachel Ben-Eliyahu and Menachem Magidor.
A temporal logic for proving properties of topologically general executions.
Information and Computation
, 124(2):127-144, 1 February 1996.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database