FINDING SAFE PATHS IN A FAULTY ENVIRONMENT.

D. Dolev*, J. Meseguer, M. C. Pease

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations
Original languageEnglish
Title of host publicationUnknown Host Publication Title
PublisherACM
Pages95-103
Number of pages9
ISBN (Print)0897910818
StatePublished - 1982

Cite this