Вы здесь

Levi F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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