Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
Строка 15: | Строка 15: | ||
* [[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|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|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|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|SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | * [[PSL/A Practical Introduction to PSL/SERE Style/ru|SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | ||
* [[PSL/A Practical Introduction to PSL/Clocks/ru|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]]) |
Версия 00:24, 27 октября 2013
Литература
Введение в PSL
- Introduction (en)
- Basic Temporal Properties (en)
- Some Philosophy (en)
- Weak vs. Strong Temporal Operators (en)