@inproceedings{12ff05fd63354cd8a4911c1daa854fcb,
title = "Modelling of a {"}Video on Demand{"} System Using Pr/T-Net Formalism - a Case Study",
keywords = "concurrency, distributed systems, video on demand, concurrency, distributed systems, video on demand, concurrency, distributed systems, video on demand",
author = "T. Pyssysalo and L. Ojala",
year = "1994",
language = "English",
editor = "H.-D. Burkhard and P.H. Starke",
booktitle = "The Third International Workshop on Concurrency, Specification \& Programming, Berlin, Germany, 12.-14.10.1994",
publisher = "Humboldt University of Berlin",
address = "Germany",
}