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

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Parallelisme, communication et synchronisation
Editors	J.-P. Verjus, G. Roucairol
Publisher	Editions du CNRS
Pages	129-149
State	Published - 1985

Cite this

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 proceeding › Chapter (peer-reviewed) › peer-review

@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",

}