Eintrag weiter verarbeiten
Buchumschlag von The Security Picalculus and Non-interference (Extended Abstract)
Verfügbar über Open Access

The Security Picalculus and Non-interference (Extended Abstract)

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Electronic Notes in Theoretical Computer Science
Personen und Körperschaften: Hennessy, Matthew
In: Electronic Notes in Theoretical Computer Science, 83, 2003, S. 113-129
Medientyp: E-Article
Sprache: Portugiesisch
veröffentlicht:
Elsevier BV
Schlagwörter: