Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CADE
2002
Springer

favoriteEmaildiscussreport

107views Logical Reasoning» more CADE 2002»

Proof Development with OMEGA

14 years 5 months ago

Proof Development with OMEGA

Download www.ags.uni-sb.de

Jörg H. Siekmann, Christoph Benzmüller,

Real-time Traffic

Automated Reasoning | CADE 2002 | Proof Development |

claim paper

Related Content

» Modeling and Validation of a Software Architecture for the Ariane5 Launcher

» Correct Development of Embedded Systems

» Exact Approximations of omega Numbers

» On the Proof Theory of the Modal muCalculus

» EPGBoard a Social Application for the OmegaBox Media Center

» A New Threshold Voltage Model for Omega Gate Cylindrical Nanowire Transistor

» Proof General A Generic Tool for Proof Development

» Guiding Program Development Systems by a Connection Based Proof Strategy

» A Symbolic Model Checker for Testing ASTRAL RealTime Specifications

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2002
Where	CADE
Authors	Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer

Comments (0)