by Baier, Christel, Katoen, Joost-Pieter
Year of Publication 2008

by Rawlings, Blake C., Lafortune, Stephane, Ydstie, B. Erik
Published in IEEE transactions on control systems technology (01.03.2020)

by Silva, Geovana Ramos Sousa, Rodrigues, Genaína Nunes, Canedo, Edna Dias
Published in J.UCS (Annual print and CD-ROM archive ed.) (01.01.2023)

by Mahmood, Yasir, Meier, Arne
Published in Annals of mathematics and artificial intelligence (01.03.2022)

by Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Armando, Alessandro, Ponta, Serena Elisa
Published in Computers & security (01.02.2014)

by Meyden, Ron Van Der, Patra, Manas K.
Published in ACM transactions on computational logic (01.10.2020)

by Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro
Published in IEEE access (01.01.2022)

by Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef
Published in Concurrency and computation (25.09.2016)

by Baier, Christel, Katoen, Joost-Pieter, Larsen, Kim Guldstrand
Year of Publication 2016

by Li, Tao, Tan, Feng, Wang, Qixin, Bu, Lei, Cao, Jian-Nong, Liu, Xue
Published in IEEE transactions on parallel and distributed systems (01.03.2014)

by Mayr, Richard, Totzke, Patrick
Published in Fundamenta informaticae (04.03.2016)

by Edelkamp, Stefan, Greulich, Christoph
Published in International journal on software tools for technology transfer (01.10.2018)

by Алешина, Н.А.
Published in Logical Investigations (10.10.2018)

by Liu, Yepang, Xu, Chang, Cheung, S.C.
Published in The Journal of systems and software (01.03.2013)

by Wei, Xiaomin, Dong, Yunwei, Sun, Pengpeng, Xiao, Mingrui
Published in Electronics (Basel) (01.02.2019)

Published in Tools and Algorithms for the Construction and Analysis of Systems (2024)

by Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari
Published in The Journal of systems and software (01.02.2017)

by Alur, Rajeev, Chaudhuri, Swarat, Madhusudan, P.
Published in ACM transactions on programming languages and systems (01.11.2011)

by Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy
Published in Environmental modelling & software : with environment data news (01.04.2012)