Used together with:
formal
(1)
techniqu
(1)
csps
(1)
descript
(1)
Stem
tcsps$ (
all stems
)
1 papers:
SEKE-2004-MouhoubSS
Formal Description Techniques for CSPs and TCSPs (
MM
,
SS
,
AS
), pp. 406–410.
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
.