ITUInternationalFranšais  Espa˝ol
OurNewsEventsPublicationsSiteAbout
Print Version
ITU
Home Page : Publications
A simple example of protocol specification and verification using high-level PetriNets (Jonathan Billington)

 
Availability : Free Download

View or Download Document

Format

Size

Posted

Free Download

English 

PowerPoint 7.0

97.0 kb

Nov 27 2003

Download


Top -  Feedback -  Privacy -  Copyright ę ITU 2001 All Rights Reserved
Contact for this page : webmaster@itu.int
Updated : 2007-03-30