Showing 1 - 1 results of 1 for search 'Jian‐tao Zhou', query time: 0.01s Refine Results
  1. 1
    Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

    Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking by Wenjie Zhong, Jian‐tao Zhou, Tao Sun

    Published 2023-02-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: