[BKP97] Petri nets based proofs of Ada 95 solution for preference control

Conférence Internationale avec comité de lecture : APSEC '97 / ICSC '97, January 1997,

Auteurs: K. Barkaoui , C. Kaiser , J. Pradat-Peyre

motcle:

BibTeX

@inproceedings {
	BKP97,
	title	=	"{Petri nets based proofs of Ada 95 solution for preference control}",
	author	=	" K. Barkaoui and C. Kaiser and J. Pradat-Peyre ",
	booktitle	=	"{APSEC '97 / ICSC '97}",
	year	=	1997,
	month	=	"January",
}