Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
Article in IET Software (December 2022)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in IET Software (December 2022)
Monograph (January 2022)
Article in Science China Information Sciences (December 2021)