By the same authors

Specifying Security Properties

Research output: Chapter in Book/Report/Conference proceedingChapter

Author(s)

Department/unit(s)

Publication details

Title of host publicationDevelopments in Concurrency and Communication
DatePublished - 1990
Pages221-237
Number of pages17
Publisherhttp://www.aw.com/Addison Wesley
Place of PublicationReading, Mass, U. S. A.
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations