Skip to Main content Skip to Navigation
Conference papers

Verification of large-scale distributed database systems in the NEOPPOD project

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01298277
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 5, 2016 - 4:56:16 PM
Last modification on : Wednesday, July 22, 2020 - 5:02:02 PM

Identifiers

  • HAL Id : hal-01298277, version 1

Citation

Olivier Bertrand, Aurélien Calonne, Christine Choppy, Silien Hong, Kaïs Klai, et al.. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316. ⟨hal-01298277⟩

Share

Metrics

Record views

103