Used together with:
comput
(1)
use
(1)
non
(1)
graph
(1)
optim
(1)
Stem
dnnf$ (
all stems
)
1 papers:
MBT-2009-SchumannSH
#graph
#nondeterminism
#testing
#using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (
AS
,
MS
,
JH
), pp. 87–99.
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
.