Вы здесь

Главная

Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
архитектура
верификация
легализация
теоретиеория автоматов
раскрашенный
сети петри
встроенная система
формальный язык
формальная логика
теория графов
лингвистика
model checking
сетевой протокол
архитектура по
теоретическое программирование
Стр.: 
437 p.
Редактор: 
Janicki R.
Sidorova N.
Chatain Th.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12152
Карточка: 

Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020Ed. by Janicki R., Sidorova N., Chatain Th..-Berlin.: Springer, 2020.-Vol. 12152.-437 p.-(Lecture Notes in Computer Science).