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
Anzahl der Einträge: 1.

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.-07.09.2018)
doi: 10.1007/978-3-319-98938-9_13
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:27:49 2024 CET generiert.