Вы здесь

Antoni G. D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Communicating Petri Nets 1991 Antoni G. D. Petri Nets Newsletter 22.06.1995
СТ OR-Parallelism in Theorem Proving: Speedups versus Timeout 1995 Buffoli F., Antoni G. D., Marchese A. EATCS Bull. 13.04.1995