1. Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets. Issue 4 (2020) Authors: Saadaoui, I.; Li, Z.; Wu, N.; Khalgui, M. Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 4(2020) Page Start: 378 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗