Model checking Web services based on timed extension
WANG Xue-hong
LIU Ke-wei
CHEN Guan-ping
HU Yuan-chuang
Machine-generated Keywords：
Publication Date：2017-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：4( 14-17 )