PSL/История
Материал из Wiki
< PSL
Версия от 14:05, 7 ноября 2012; ANA (обсуждение | вклад)
Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)
- Словарь терминов
- Дневник
- История проекта
