Nabil Belala

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb: Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. Inf. Technol. 6(5): 440-446 (2009)

2005

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

	2009
2		Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb: Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. Inf. Technol. 6(5): 440-446 (2009)
	2005
1		Djamel-Eddine Saïdouni, 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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page