Вы здесь

D Argenio P. R.


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