FINDING SAFE PATHS IN A FAULTY ENVIRONMENT.

D. Dolev, Jose Meseguer, M. C. Pease

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Unknown Host Publication Title
Publisher	ACM
Pages	95-103
Number of pages	9
ISBN (Print)	0897910818
State	Published - 1982
Externally published	Yes

ASJC Scopus subject areas

TY - GEN

T1 - FINDING SAFE PATHS IN A FAULTY ENVIRONMENT.

AU - Dolev, D.

AU - Meseguer, Jose

AU - Pease, M. C.

PY - 1982

Y1 - 1982

UR - http://www.scopus.com/inward/record.url?scp=0020237832&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020237832&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0020237832

SN - 0897910818

SP - 95

EP - 103

BT - Unknown Host Publication Title

PB - ACM

ER -