IEEE
T. Basten , G. Juhas , S. Shukla
International Conference on Application of Concurrency to System Design
Computer Security

Markovski, J.& de Vink, E. (2007). Real-Time Process Algebra with Stochastic Delays. In T. Basten, G. Juhas& S. Shukla (Eds.), Proc. ACSD 2007 (pp. 177–186). IEEE.