Combining structural and symbolic methods for the verification of concurrent systems | Publicación