Jump to Navigation

Modelling and Verification of the ITU-T multipoint communication service with SPIN

TitleModelling and Verification of the ITU-T multipoint communication service with SPIN
Publication TypeConference Paper
Year of Publication2008
AuthorsMerino, P., and J. María Troya
Conference NameProceedings of The 2nd International Workshop on the SPIN Verification System
Date Publishedfeb
Conference LocationNew Brunswik, EEUU


Main menu 2

Biblio | by Dr. Radut