Name Card

Full name Familienname, Vorname

Spanoudakis, George

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Dustdar, Schahram ; Garcia, Jose Maria ; Fernandez, Pablo ; Ruiz-Cortes, Antonio	An Elasticity Framework for Smart Contracts	Konferenzbeitrag Inproceedings	2021
	2		Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph	Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models	Buchbeitrag Book Contribution	2018