Author:
Baumgartner Peter,Haslum Patrik
Publisher
Springer International Publishing
Reference24 articles.
1. Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843
2. The Array of Things. https://arrayofthings.github.io/
3. Baier C, Katoen J (2008) Principles of model checking. MIT Press
4. Brandt S, Kalaycl EG, Ryzhikov V, Xiao G, Zakharyaschev M (2018) Querying log data with metric temporal logic. J Artif Intell Res 62(5):829–877
5. Chesani F, Mello P, Montali M, Riguzzi F, Sebastianis M, Storari S (2008) Checking compliance of execution traces to business rules. In: International conference on business process management. Springer, Berlin