Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
| Строка 12: | Строка 12: | ||
<div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | <div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | ||
| − | * [[PSL/A Practical Introduction to PSL/Introduction/ru|Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | + | * [[PSL/A Practical Introduction to PSL/Introduction/ru|1. Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) |
| − | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | + | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|2. Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) |
| − | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | + | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|3. Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) |
| − | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) | + | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|4. Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) |
| + | * [[PSL/A Practical Introduction to PSL/SERE Style/ru|5. SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | ||
<!-- | <!-- | ||
| − | + | * [[PSL/A Practical Introduction to PSL/Clocks/ru|6. Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]]) | |
| − | * [[PSL/A Practical Introduction to PSL/Clocks/ru|Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]]) | + | |
--> | --> | ||
Версия 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)
