View of A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol

Return to Article Details A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol Download Download PDF