Nabil Belala

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Djamel-Eddine Saidouni, Nabil Belala: Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2(3): 199-205 (2005)

2005
1	EE	Djamel-Eddine Saidouni, Nabil Belala: Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2(3): 199-205 (2005)

Coauthor Index