Used together with:
space
(1)
distribut
(1)
tool
(1)
state
(1)
generat
(1)
Stem
bcg$ (
all stems
)
1 papers:
TACAS-2006-GaravelMBCDJSS
#distributed
#generative
#tool support
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (
HG
,
RM
,
DB
,
AC
,
ND
,
CJ
,
ISS
,
GS
), pp. 445–449.
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
.