Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 11 results.
-
- Speech
(2013) QEST 2013 - 10th International Conference Quantitative Evaluation of Systems — -
- Speech
(2013) MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics — -
- Speech
(2013) ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis — -
- Journal article
(2013) Formal Methods in System Design — Vol. 42, no. 2, p. 193-220 (2013) -
- Speech
(2013) LICS 2013 - Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science — -
- Speech
(2013) APLAS 2013 - 11th Asian Symposium Programming Languages and Systems — -
- Speech
(2013) FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems — -
-
- BookChapter
(2013) — [ISBN : 9783642397202] -
- Speech
(2013) CONCUR 2013 - 24th International Conference Concurrency Theory —