Lagnier F.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	An Experience in Proving Regular Networks of Processes by Modular Model Checking	1992	Halbwachs N., Lagnier F., Ratel C.				Acta Informatica	16.12.1992
СТ	Embedding Daclarative Subprograms into Imperative Constructs	1993	Jourdan M., Lagnier F., Maraninchi F., Raymond P.				Lecture Notes in Computer Science	22.09.1993