Technische Universiteit Eindhoven
CSR
Computer Security

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