Nikolaj Bjørner, Leonardo Mendonça de Moura. Tapas: Theory Combinations and Practical Applications. In Joël Ouaknine, Frits W. Vaandrager, editors, Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Volume 5813 of Lecture Notes in Computer Science, pages 1-6, Springer, 2009. [doi]
Abstract is missing.