Model checking a video-on-demand server using McErlang
- Fredlund, L.-Å.
- Penas, J.J.S.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540758662
Year of publication: 2007
Computer Aided Systems Theory - EUROCAST 2007 - 11th International Conference on Computer Aided Systems Theory, Revised Selected Papers
Volume: 4739 LNCS
Pages: 539-546
Type: Conference paper