Lagnier F.

Автор:

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