Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationParallelisme, communication et synchronisation
EditorsJ.-P. Verjus, G. Roucairol
PublisherEditions du CNRS
Pages129-149
StatePublished - 1985

Cite this

Cousot, P., & Cousot, R. (1985). Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). In J-P. Verjus, & G. Roucairol (Eds.), Parallelisme, communication et synchronisation (pp. 129-149). Editions du CNRS.

Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). / Cousot, Patrick; Cousot, Radhia.

Parallelisme, communication et synchronisation. ed. / J.-P. Verjus; G. Roucairol. Editions du CNRS, 1985. p. 129-149.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Cousot, P & Cousot, R 1985, Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). in J-P Verjus & G Roucairol (eds), Parallelisme, communication et synchronisation. Editions du CNRS, pp. 129-149.
Cousot P, Cousot R. Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). In Verjus J-P, Roucairol G, editors, Parallelisme, communication et synchronisation. Editions du CNRS. 1985. p. 129-149
Cousot, Patrick ; Cousot, Radhia. / Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French). Parallelisme, communication et synchronisation. editor / J.-P. Verjus ; G. Roucairol. Editions du CNRS, 1985. pp. 129-149
@inbook{1f525c35ebf747b8bd0ea989c711be80,
title = "Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)",
author = "Patrick Cousot and Radhia Cousot",
year = "1985",
language = "English (US)",
pages = "129--149",
editor = "J.-P. Verjus and G. Roucairol",
booktitle = "Parallelisme, communication et synchronisation",
publisher = "Editions du CNRS",

}

TY - CHAP

T1 - Principe des methodes de preuve de proprietes d'invariance et de fatalite des programmes paralleles (in French)

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1985

Y1 - 1985

M3 - Chapter (peer-reviewed)

SP - 129

EP - 149

BT - Parallelisme, communication et synchronisation

A2 - Verjus, J.-P.

A2 - Roucairol, G.

PB - Editions du CNRS

ER -