Ghassan Chehaibar Use of reentrant nets in modular analysis of colored nets. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:58-77 [Conf]
Ghassan Chehaibar Replacement of Open Interface Subnets and Stable State Transformation Equivalence. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1991, pp:1-25 [Conf]
Ghassan Chehaibar Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. [Citation Graph (0, 0)][DBLP] FORTE, 2004, pp:243-258 [Conf]