A Survey of Verifications Techniques for Parallel Programs, Lecture Notes on Computer science H. Barringer

Autor:	Becea, Aurel
Zdroj:	Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, 1987 Jan 01. 31(1), 94-94.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/43681316 Zobrazit plný text záznamu