Skip to Main content Skip to Navigation
Book sections

Continuous Previsions

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03197352
Contributor : Jean Goubault-Larrecq <>
Submitted on : Tuesday, April 13, 2021 - 5:20:15 PM
Last modification on : Saturday, May 1, 2021 - 3:40:03 AM

Links full text

Identifiers

Citation

Jean Goubault-Larrecq. Continuous Previsions. Computer Science Logic, 4646, Springer Berlin Heidelberg, pp.542-557, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-74915-8_40⟩. ⟨hal-03197352⟩

Share

Metrics

Record views

8