Cherkaoui O.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Model-Checking for Real-Time Systems Specified in Lotos	1993	Rico N., Von Bochmann G., Cherkaoui O.				Lecture Notes in Computer Science	07.05.1993
СТ	Specification and Analysis of a Security Management System	1994	Cherkaoui O., Rico N., Bernardi A.				Lecture Notes in Computer Science	09.12.1994