Fingerprint
Dive into the research topics of 'Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata
Ari Ramadhana Hendrawan, Dieky Adzkiya
Research output: Contribution to journal › Conference article › peer-review
1
Citation
(Scopus)