Browsing by Author Kulbakas, Christopher
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Sep-2010 | Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | Kulbakas, Christopher |
Showing results 1 to 1 of 1