Browsing by Author Özkan, Murat

Showing results 2 to 2 of 2 < previous 
Issue DateTitleAuthor(s)
2010Utilization of Timed Automata as a Verification Tool for Security ProtocolsKoltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat