Techniques and tools for formalising and analysing the resource reservation protocol: a coloured Petri Net approach
Date
2002
Authors
Villapol, M.
Billington, J.
Editors
Viola, A.
Lasarte, M.
Perovich, D.
Solari, M.
Vignaga, A.
Lasarte, M.
Perovich, D.
Solari, M.
Vignaga, A.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of the XXVIII Latin American Conference on Informatics, 2002 / Viola, A., Lasarte, M., Perovich, D., Solari, M., Vignaga, A. (ed./s)
Statement of Responsibility
Conference Name
XXVIII Latin American Conference on Informatics (25 Nov 2002 : Montevideo, Uruguay)