Technische Universiteit Eindhoven
CSR
Computer Security

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