TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. and Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, In: Lecture Notes in Computer Science, 10501, DOI: 10.1007/978-3-319-66902-1₂,
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2],
[Conference or Workshop Item]

This list was generated on Sat Nov 16 01:47:17 2019 CET.