location： Current position: Home >> Scientific Research >> Paper Publications

A Dynamic Logic with Branching Modalities

Hits:

Title of Paper:A Dynamic Logic with Branching Modalities

Journal:Journal of Logical and Algebraic Methods in Programming (JCR Q2)

Note:(JCR Q2)

Indexed by:Journal paper

Volume:136

Page Number:100921

Translation or Not:no

Date of Publication:2024-01-01

Included Journals:SCI、SCIE

Pre One:A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

Next One:Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraints

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep