Вы здесь

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
СТ A Process Language for Statecharts 1997 Levi F. Lecture Notes in Computer Science 20.02.1997
СТ A Symbolic Semantics for Abstract Model Checking 1998 Levi F. Lecture Notes in Computer Science 01.10.1998
СТ An Abstract Interpretation Framework for Analysing Mobile Ambients 2001 Levi F., Maffeis S. Lecture Notes in Computer Science 31.07.2001