Documents Savoirs Model checking finite paths and trees [Elektronische Ressource] / Lars Kuhtz Lars Kuhtz