Skip to Main content Skip to Navigation
Book sections

Prevision Domains and Convex Powercones

Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03196997
Contributor : Jean Goubault-Larrecq <>
Submitted on : Tuesday, April 13, 2021 - 1:57:31 PM
Last modification on : Saturday, May 1, 2021 - 3:41:42 AM

Links full text

openaccess

Identifiers

Collections

INSMI | CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE

Citation

Jean Goubault-Larrecq. Prevision Domains and Convex Powercones. Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.318-333, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_23⟩. ⟨hal-03196997⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data