Integrating Two Towers and GreatSPN

Marco Bernardo, Nadia Busi, Marina Ribaudo. Integrating Two Towers and GreatSPN. In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 551-564, Springer, 2000.

Abstract

Abstract is missing.