Reachability Problems: Proc./13th International Conference, RP 2019, Brussels, Belgium, September 2019 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2019

Ключевые слова:

теория автоматов

формальная логика

теория графов

сети петри

доказательство теорем

верификация

Стр.:

233 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

11674

Карточка:

Reachability Problems: Proc./13th International Conference, RP 2019, Brussels, Belgium, September 2019Ed. by Filiot E., Jungers R., Potapov I..-Berlin.: Springer, 2019.-Vol. 11674.-233 p.-(Lecture Notes in Computer Science).