Вы здесь
Lafuente A. L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Directed Explicit Model Checking with HSF-SPIN | 2001 | Edelkamp S., Lafuente A. L., Leue S. | Lecture Notes in Computer Science | 14.06.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Trastworthy Global Computing: Revised Selected Papers/8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 2013 | 2014 | Lecture Notes in Computer Science |
|
22.04.2014 | |||
| СБ | Coordination Models and Languages: Proc./18th IFIP WG 6.1 International Conference, COORDINATION 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016 | 2016 | Lecture Notes in Computer Science |
|
02.08.2016 | |||
| СБ | Formal Methods for Industrial Critical Systems: Proc./26th International Conference, FMICS 2021, Paris, France, August 2021 | 2021 | Lecture Notes in Computer Science |
|
13.09.2021 |