Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, Étienne André. Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. In Huynh Quyet Thang, Le Anh Phuong, Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh, Nguyen Thi Oanh, Dinh Viet Sang, Nguyen Ba Ngoc, editors, Proceedings of the Sixth International Symposium on Information and Communication Technology, Hue City, Vietnam, December 3-4, 2015. pages 51, ACM, 2015. [doi]
Abstract is missing.