[BP94] Combining Linear Programming and Graph Analysis for Petri Nets Validation

Conférence Internationale avec comité de lecture : 7th SIAM Conference on Discrete Mathematics, January 1994,

Auteurs: K. Barkaoui , J. Peyre

motcle:

BibTeX

@inproceedings {
	BP94,
	title	=	"{Combining Linear Programming and Graph Analysis for Petri Nets Validation}",
	author	=	" K. Barkaoui and J. Peyre ",
	booktitle	=	"{7th SIAM Conference on Discrete Mathematics}",
	year	=	1994,
	month	=	"January",
}