Technische Universiteit Eindhoven
CSR
Computer Security

Markovski, J.& de Vink, E. (2007). Real-time in stochastic process algebra: keeping track of winners and losers. In CSR (CSR 07-13). Technische Universiteit Eindhoven.