08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Anca MuschollRamaswamy RamanujamMichaël RusinowitchThomas SchwentickVictor VianuPublished in: Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)