Вы здесь

D Argenio P. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Delayed choice for process algebra with abstraction 1995 D Argenio P. R., Mauw S. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001