Hits:
Title of Paper:A Clock-based Dynamic Logic for Modelling and Verification of CCSL Specifications in Synchronous Systems
Journal:Science of Computer Programming (CCF B)
Note:(CCF B)
Indexed by:Journal paper
Discipline:Engineering
Volume:203
Page Number:102591
Translation or Not:no
Date of Publication:2021-01-01
Included Journals:SCI、SCIE
