Verification of the WAP transaction layer using coloured petri nets /

Description

Thesis (PhD)--University of South Australia, 2001

Links & Downloads

1. http://arrow.unisa.edu.au:8081/1959.8/78786
2. http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:43483

Tags

Petri nets.

Additional Fields

Identifer	oai:union.ndltd.org:ADTP/267997
Creators	Gordon, Steven Donald.
Source Sets	Australiasian Digital Theses Program
Language	English
Detected Language	English
Rights	copyright under review