Automated analysis of probabilistic automata applications to financial instruments and wireless network protocols
Automated analysis of probabilistic automata applications to financial instruments and wireless network protocols
Author(s)
Gao, Peng
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2006
Resource Type
Thesis
Degree Type
Masters Thesis
UNSW Faculty
Files
|
7.96 MB | Adobe Portable Document Format |