Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for Redundancy management protocol
Publications & Outputs
Modular composition of redundancy management protocols in distributed systems: An outlook on simplifying protocol level formal specification & verification
Sinha, P. &
Suri, N.
,
16/04/2001
,
p. 255-263
.
9 p.
Research output
:
Contribution to conference - Without ISBN/ISSN
›
Conference paper
›
peer-review