Lars-Åke Fredlund, Juan José Sánchez Penas. Model Checking a Video-on-Demand Server Using McErlang. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 539-546, Springer, 2007. [doi]
Abstract is missing.