A Partial Order Method for the Verification of Time Petri Nets

Вы здесь

Автор:

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

Вид:

Статья из сборника или журнала

Год:

1999

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

Стр.:

P.547-558.

Библиография:

Bibliogr.: p.555-556

Источник:

Том:

1684

Карточка:

Б2.42.

Virbitskaite I., Pokozy E..

A Partial Order Method for the Verification of Time Petri Nets// Lecture Notes in Computer Science-1999.-Vol. 1684.-P.547-558.
Bibliogr.: p.555-556

Таблица в старой библиотеке:

ISI2 268