Вы здесь
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 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Quantitative Evaluation of Systems: Proc./10th International Conference, QEST 2013, Buenos Aires, Argentina, August 2013 | 2013 | Lecture Notes in Computer Science |
|
29.10.2013 | |||
СБ | CONCUR 2013 - Concurrency Theory: Proc./24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013 | 2013 | Lecture Notes in Computer Science |
|
09.09.2013 |