TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2018
Anzahl der Einträge: 1.

2018

Kamburjan, Eduard ; Chen, Tzu-Chun
Hrsg.: Furia, Carlo A. ; Winter, Kirsten (2018)
Stateful Behavioral Types for Active Objects.
14th International Conference on Integrated Formal Methods (IFM 2018). Maynooth, Ireland (05.09.2018-07.09.2018)
doi: 10.1007/978-3-319-98938-9_13
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Sat Dec 21 04:18:50 2024 CET generiert.