https://hal.inria.fr/hal-01556209
Contributor : Hal Ifip
<>
Submitted on : Tuesday, July 4, 2017 - 5:45:34 PM
Last modification on : Wednesday, December 20, 2017 - 5:42:07 PM
Jos Baeten, Tom Ball, Frank De Boer. Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, 〈10.1007/978-3-642-33475-7〉. 〈hal-01556209〉
