D. Lucia Chrispina Pardede
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Indonesia
- MGP identifier
- 176754
Dissertation: The Expansion of SVO Logic for Formal Analysis and Verification of Non-repudiation Protocols
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Achmad Benny MutiaraInstitution not recorded
- Avinanta TariganUniversität Bielefeld · 2007
- Djati KeramiInstitut National Polytechnique de Toulouse · 1985
Students 0
No students recorded in this snapshot.