Used together with:
mark
(1)
parameter
(1)
verif
(1)
easi
(1)
protocol
(1)
Stem
biphas$ (
all stems
)
1 papers:
TACAS-2006-BrownP
#protocol
#verification
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols (
GMB
,
LP
), pp. 58–72.
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
.