TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2012
Anzahl der Einträge: 1.
2012
Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Hrsg.: Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (2012)
Compositional Reasoning about Shared Futures.
doi: 10.1007/978-3-642-33826-7_7
Konferenzveröffentlichung, Bibliographie