FINDING SAFE PATHS IN A FAULTY ENVIRONMENT.

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherACM
Pages95-103
Number of pages9
ISBN (Print)0897910818
StatePublished - Dec 1 1982
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Cite this