@inproceedings{26dbd4382f3746b199f5a926f9cdb69c,
title = "Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems",
author = "J. Markovski and \{Vink, de\}, E.P.",
year = "2008",
doi = "10.1109/ACSD.2008.4574610",
language = "English",
isbn = "978-1-4244-1838-1",
pages = "180--189",
booktitle = "Proceedings 8th International Conference on Application of Concurrency to System Design (ACSD'08, Xian, China, June 23-27, 2008)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",
}