Вы здесь

Levi F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compilative Constructive Negation in Constraint Logic Programs 1994 Bruscoli P., Levi F., Levi G., Meo M. C. Lecture Notes in Computer Science 30.04.1994
СТ An Abstract Interpretation Framework for Analysing Mobile Ambients 2001 Levi F., Maffeis S. Lecture Notes in Computer Science 31.07.2001
СТ A Symbolic Semantics for Abstract Model Checking 1998 Levi F. Lecture Notes in Computer Science 01.10.1998
СТ A Process Language for Statecharts 1997 Levi F. Lecture Notes in Computer Science 20.02.1997