by Cachin, Christian, Guerraoui, Rachid, Rodrigues, Luís
Year of Publication 2011

by Hunt, John
Year of Publication 2019

by Hunt, John
Year of Publication 2019

by Bermbach, David, Wittern, Erik, Tai, Stefan
Year of Publication 2017

by Lee, Peter A
Year of Publication 2012

by Lu, Wenlian, Sun, Kun, Yung, Moti, Liu, Feng
Year of Publication 2021

by Hofstede, Arthur H. M, Aalst, Wil M. P, Adams, Michael, Russell, Nick
Year of Publication 2009

by Groth, Paul, Vidal, Maria Esther, Suchanek, Fabian, Szekley, Pedro, Kapanipathi, Pavan, Pesquita, Catia, Skaf-Molli, Hala, Tamper, Minna
Year of Publication 2022

by Balasch, Josep, O'Flynn, Colin
Year of Publication 2022

by Busoniu, Lucian
Year of Publication 2017

by Cole, Alayna, Zammit, Jessica
Year of Publication 2021

by Johannesson, Paul, Perjons, Erik
Year of Publication 2014

by Bhasin, Shivam, De Santis, Fabrizio
Year of Publication 2021

by Isazadeh, Ayaz
Year of Publication 2017

by Lu, Le, Wang, Xiaosong, Carneiro, Gustavo, Yang, Lin
Year of Publication 2019

by Parekh, Ranjan
Year of Publication 2020

by Dahanayake, Ajantha, Pastor, Oscar, Thalheim, Bernhard
Year of Publication 2021

by International Conference on Formal Methods for Industrial Critical Systems, Lafuente, Alberto Lluch, Mavridou, Anastasia
Year of Publication 2021

by Bertoni, Guido Marco, Regazzoni, Francesco
Year of Publication 2021

by Kumar, Kaushik, Ranjan, Chikesh, Davim, J. Paulo
Year of Publication 2021