×
2014
PeCAn: Compositional Verification of Petri Nets Made Easy.
[DOI]
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
Proceedings of the Automated Technology for Verification and Analysis, 2014