• Citer

Using Auxiliary Variables in Parallel Programs Verification

par Devillers, Raymond ;Louchard, Guy
Editeur scientifique Morlet, E.
Référence (4-7 avril 1977: Liège), Proceedings of the International Computing Symposium, page (217--225)
Publication Publié, 1977

Publication dans des actes

• Détails

Titre:	Using Auxiliary Variables in Parallel Programs Verification
Auteur:	Devillers, Raymond; Louchard, Guy
Editeur scientifique:	Morlet, E.
Informations sur la publication:	(4-7 avril 1977: Liège), Proceedings of the International Computing Symposium, page (217--225)
Statut de publication:	Publié, 1977
Sujet CREF:	Informatique mathématique
Langue:	Anglais