2005

Conférence Internationale avec comité de lecture

• [BCK05] K. Barkaoui, J. Couvreur, K. Klai. "On the Equivalence between Deadlock Freeness and Liveness in Petri Nets", ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, January 2005, pp.90-107, Series LNCS,