Author:
Moszkowski Ben,Guelev Dimitar,Leucker Martin
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference38 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Banieqbal, B., Barringer, H.: Temporal logic with fixed points. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds.) Temporal Logic in Specification, Proceedings (Altrincham, UK, April, 1987), LNCS, vol. 398, pp. 62–74. Springer, Berlin (1989)
3. Barringer, H., Fisher, M., Gabbay, D., Gough, G.: Owens, R.: MetateM: A framework for programming in temporal logic. In: J. Bakker, W.P. Roever, G. Rozenberg (eds.) Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (REX Workshop, 1989), no. 430 in LNCS, pp. 94–129. Springer (1990)
4. Bäumler, S., Schellhorn, G., Tofan, B., Reif, W.: Proving linearizability with temporal logic. Form. Asp. Comput 23(1), 91–112 (2011)
5. Bresolin, D., Della Monica, D., Montanari, A., Sciavicco, G.: A tableau system for right propositional neighborhood logic over finite linear orders: an implementation. In: D. Galmiche, D. Larchey-Wendling (eds.) Proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013), LNCS, vol. 8123, pp. 74–80. Springer (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献