Used together with:
logic
(1)
branch
(1)
adequaci
(1)
time
(1)
weak
(1)
Stem
rempor$ (
all stems
)
1 papers:
ESOP-1990-SchnoebelenP
#logic
#on the
On the Weak Adequacy of Branching-Time Remporal Logic (
PS
,
SP
), pp. 377–388.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
ESOP-1990-SchnoebelenP #logic #on the
ESOP-1990-SchnoebelenP #logic #on the