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.