Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano, Carmine Ventre. New Constructions of Mechanisms with Verification. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Volume 4051 of Lecture Notes in Computer Science, pages 596-607, Springer, 2006. [doi]
Abstract is missing.