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

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