On modelling real-time and security properties of distributed systems (Extended Abstract)

Research output: Book/Report › Report › Academic

Name	CTIT Technical Report
Volume	TR-CTIT-03-46

Cite this

TY - BOOK

T1 - On modelling real-time and security properties of distributed systems (Extended Abstract)

AU - Corin, R.J.

AU - Etalle, S.

AU - Hartel, P.H.

AU - Mader, A.H.

PY - 2003

Y1 - 2003

UR - http://www.ub.utwente.nl/webdocs/ctit/1/000000dc.pdf

M3 - Report

T3 - CTIT Technical Report

BT - On modelling real-time and security properties of distributed systems (Extended Abstract)

PB - Universiteit Twente

CY - Enschede

ER -