"A Rewriting Logic Based Behaviour Semantics of Discrete event systems ..."

Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri (2023)

Details and statistics

DOI: 10.1109/ICNSC58704.2023.10319047

access: closed

type: Conference or Workshop Paper

metadata version: 2023-12-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics