Normal view
MARC view
Basit Ur R, Muhammad Abdul (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)710020: Basit Ur R, Muhammad Abdul, Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine