[NPV06] FORTE'06: Formal Techniques for Networking and Distributed Systems

Conférence Internationale avec comité de lecture : January 2006, Vol. 4229, Series LNCS,

Auteurs: E. Najm , J. Pradat-Peyre , V. Viguie Donzeau-Gouge

motcle:

BibTeX

@inproceedings {
	NPV06,
	title	=	"{FORTE'06: Formal Techniques for Networking and Distributed Systems}",
	author	=	" E. Najm and J. Pradat-Peyre and V. Viguie Donzeau-Gouge ",
	year	=	2006,
	month	=	"January",
	series	=	"LNCS",
	volume	=	4229,
}