PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators
Материал из Wiki
< PSL
Версия от 00:27, 27 октября 2013; ANA (обсуждение | вклад)
Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Литература
Введение в PSL
- Introduction (en)
- Basic Temporal Properties (en)
- Some Philosophy (en)
- Weak vs. Strong Temporal Operators (en)