Blättern nach Person
 | Ebene hoch |
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.09.2018-07.09.2018)
doi: 10.1007/978-3-319-98938-9_13
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum