Pr1100 Pr1100/940 Pr1100/940 / Pr1100/940-02 ВМИ Penczek, W. Branching time bounded model checking for elementary net systems / W. Penczek, B. Wozna, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 16 p. : Ill. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 940). - Res. also Pol. - Bibliogr.: p. 14-15 Перевод заглавия: Ограниченная модель проверки времени ветвления для элементарных сетевых систем Рубрики: Вычислительные системы--Программное обеспечение Дескрипторы: сб пр -- моногр Доп.точки доступа: Wozna, B. ; Zbrzezny, A. Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |