Ho T. Dung

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Epistemic Logic

Formal Specification

Top Venues

Publications

Ho T. Dung, Thang H. Bui, Tho T. Quan
Model Checking Control Flow Petri Nets Using PAT. ICCSA (6) (2013)