scientific article; zbMATH DE number 1954132

zbMath1032.68742MaRDI QIDQ4415138

Rajeev Goré, Jeremy E. Dawson

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2557/25570095.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingautomated reasoningReasoning about time

Mathematics Subject Classification ID

Uses Software

• Isabelle

This page was built for publication: