Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014

Abstract : Book Front Matter of LNCS 8446
Document type :
Books
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01408765
Contributor : Hal Ifip <>
Submitted on : Monday, December 5, 2016 - 1:28:07 PM
Last modification on : Monday, December 5, 2016 - 2:12:21 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01408765, version 1

Citation

Marcello M. Bonsangue. Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7. ⟨hal-01408765⟩

Share

Metrics

Record views

178

Files downloads

40