Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)

Stéphane Demri; Deepak Kapur; Christoph Weidenbach

doi:10.1007/978-3-319-08587-6

Proceedings Year : 2014

Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)

(1) , (2) , (3, 4)

1
2
3
4

Stéphane Demri

Function : Author
PersonId : 184540
IdHAL : stephane-demri
ORCID : 0000-0002-3493-2610
IdRef : 070195684

Laboratoire Spécification et Vérification [Cachan]

CV

Deepak Kapur

Function : Author

The University of New Mexico [Albuquerque]

Christoph Weidenbach

Function : Author
PersonId : 772901
ORCID : 0000-0001-6002-0458

Modeling and Verification of Distributed Algorithms and Systems

Max-Planck-Institut für Informatik

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Stephan Merz : Connect in order to contact the contributor

https://hal.inria.fr/hal-01098072

Submitted on : Monday, December 22, 2014-4:59:50 PM

Last modification on : Tuesday, February 7, 2023-2:44:52 PM

Dates and versions

hal-01098072 , version 1 (22-12-2014)

Identifiers

HAL Id : hal-01098072 , version 1
DOI : 10.1007/978-3-319-08587-6

Cite

Stéphane Demri, Deepak Kapur, Christoph Weidenbach. Automated Reasoning – Seventh International Joint Conference (IJCAR 2014). Stéphane Demri; Deepak Kapur; Christoph Weidenbach. 7th International Joint Conference - IJCAR 2014, Jun 2014, Vienna, Austria. 8562, Springer, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-08586-9. ⟨10.1007/978-3-319-08587-6⟩. ⟨hal-01098072⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN UNIV-LORRAINE INRIA2 LORIA LORIA-FM ENS-PARIS-SACLAY

199 View

0 Download

Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share