Pr1100 Pr1100/949 Pr1100/949 / Pr1100/949-02 ВМИ Wozna, Bozena. Checking reachability properties for timed automata via SAT / B. Wozna, W. Penczek, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 19 p. : tab. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 949). - Res. also Pol. - Bibliogr.: p. 17-18 Перевод заглавия: Проверка доступности для временных автоматов через SAT Рубрики: Теория автоматов Дескрипторы: сб пр -- моногр Доп.точки доступа: Penczek, W. ; Zbrzezny, A. Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |