Concurrent Systems Analysis Using ECATNets

Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy. Concurrent Systems Analysis Using ECATNets. Logic Journal of the IGPL, 8(2):149-164, 2000. [doi]

Abstract

Abstract is missing.