Return to search

Verification of the WAP transaction layer using coloured petri nets /

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

Identiferoai:union.ndltd.org:ADTP/267997
CreatorsGordon, Steven Donald.
Source SetsAustraliasian Digital Theses Program
LanguageEnglish
Detected LanguageEnglish
Rightscopyright under review

Page generated in 0.0015 seconds