Skip to Main content Skip to Navigation
Book sections

Automated Reasoning Building Blocks

Christoph Weidenbach 1, 2 
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 MPII - Max-Planck-Institut für Informatik
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-01239428
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Monday, December 7, 2015 - 5:32:53 PM
Last modification on : Saturday, June 25, 2022 - 7:41:11 PM

Identifiers

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM

Citation

Christoph Weidenbach. Automated Reasoning Building Blocks. Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩. ⟨hal-01239428⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

75