Browsing by Author Down, Doug
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
Oct-2011 | Variable Transition Time Predictive Control | Kowalska, Kaska |
Dec-2004 | The Verification of Cryptographic Protocols Using Coloured Petri Nets | Al-Azzoni, Issam |
Showing results 1 to 2 of 2