61
Published 2021
Springer International Publishing

63
Published 2016
Springer Nature Singapore

64
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Colored Petri Nets Reductions -- Decidability and Complexity -- Algorithmic Algebraic Model Checking II...

65
Published 2023
Springer International Publishing

66
by Kang, Rui
Published 2021
Springer Nature Singapore

67
Published 2019
Springer International Publishing

68
by Bhowmik, Sumit, Zindani, Divya
Published 2019
Springer International Publishing

70
by Karkalos, Nikolaos E., Markopoulos, Angelos P., Davim, J. Paulo
Published 2019
Springer International Publishing

71
Published 2021
Springer International Publishing

72
Published 2017
Springer International Publishing

74
Published 2018
Springer Nature Singapore

75
by Li, Xinyu, Gao, Liang
Published 2020
Springer Berlin Heidelberg

76
Published 2024
Springer Nature Singapore

77
Published 2020
Springer Nature Singapore

78
Published 2021
Springer Nature Singapore

79
by Hobbacher, A. F.
Published 2016
Springer International Publishing

80
Published 2015
Springer International Publishing