|
|
Вид документа : Монографическая серия
Шифр издания : 519.179.2/P41
Автор(ы) : Penczek W., Polrola A.
Заглавие : Advances in verification of time petri nets and timed automata [Electronic resource]
: a temporal logic approach
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы :
SpringerLink (Online service)
Серия: Studies in computational intelligence, ISSN 1860-949X; 20
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32870-4: Б.ц.
ГРНТИ : 27.45.17 + 28.25
УДК : 519.179.2 + 519.713
Предметные рубрики: Петри сети-- Верификация
Автоматов теория
См. : Текст издания
Доп.точки доступа:
Polrola, A.; SpringerLink (Online service)
|
|