PSL — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м (Содержимое страницы заменено на «{{PSL TOC}}») |
Текущая версия на 21:39, 6 ноября 2012
PSL
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)