PSL/A Practical Introduction to PSL/SERE Style — различия между версиями
Материал из Wiki
< PSL
ANA (обсуждение | вклад) (Новая страница: «{{PSL TOC}}») |
Версия 23:43, 13 ноября 2013
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)