A personal perspective of the Alpern-Schneider characterization of safety and liveness

M. Rem

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Abstract

No abstract.
Original languageEnglish
Title of host publicationBeauty is our business : a birthday salute to Edsger W. Dijkstra
EditorsW.H.J. Feijen, A.J.M. Gasteren, van, D. Gries, J. Misra
Place of PublicationBerlin
PublisherSpringer
Pages365-372
ISBN (Print)0-387-97299-4
Publication statusPublished - 1990

Publication series

NameTexts and monographs in computer science
ISSN (Print)0172-603X

Fingerprint

Dive into the research topics of 'A personal perspective of the Alpern-Schneider characterization of safety and liveness'. Together they form a unique fingerprint.

Cite this