Winzinger, StefanStefanWinzinger0000-0002-4526-286XWirtz, GuidoGuidoWirtz0000-0002-0438-84822021-01-252021-01-25201997817281223112575-4475https://fis.uni-bamberg.de/handle/uniba/49383engModel-Based Analysis of Serverless Applicationsconferenceobject10.1109/mise.2019.00020