On the expressiveness of TPTL and MTL
✍
Patricia Bouyer; Fabrice Chevalier; Nicolas Markey
📂
Article
📅
2010
🏛
Elsevier Science
🌐
English
⚖ 369 KB