Login / Signup
Phuong-Nam Mai
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Petri Net
Ims Ld
Discrete Event Systems
Formal Methods
Top Venues
ATVA
</>
Publications
</>
Dinh-Thuan Le
,
Huu-Vu Nguyen
,
Van-Tinh Nguyen
,
Phuong-Nam Mai
,
Bao-Trung Pham-Duy
,
Thanh-Tho Quan
,
Étienne André
,
Laure Petrucci
,
Yang Liu
PeCAn: Compositional Verification of Petri Nets Made Easy.
ATVA
(2014)