VNU-UET Repository

Items where Year is Not Specified

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: T
Number of items: 1.


Tran, Dinh Duong and Ogata, Kazuhiro Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. In: SEKE.

This list was generated on Thu Aug 13 21:08:01 2020 +07.