Showing 1 - 2 results of 2 for search 'S. A. Chernenok', query time: 0.02s Refine Results
  1. 1
    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

    Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets by S. A. Chernenok, V. A. Nepomniaschy

    Published 2014-12-01
    Get full text
    Article
  2. 2
    The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts

    The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts by S. A. Chernenok, V. A. Nepomniaschy

    Published 2018-10-01
    Get full text
    Article

Search Tools: