Hits:

Institution:Xidian University

Title of Paper:Checking satisfiability of two-dimensional logic PPTL^SL

Teaching and Research Group:ICTT and ISN Lab

Journal:Journal of Software

Place of Publication:中国北京

Project Source:NSFC Nos. 61322202, 61133001, 61420106004, 91418201

Key Words:temporal logic; separation logic; pointer; two-dimensional logic; satisfiability

First Author:Luxury

Indexed by:Journal paper

Correspondence Author:DUANZHENHUA,TIANCONG

Document Code:2

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:J

Volume:27

Issue:3

Page Number:670-681

ISSN:10009825

Translation or Not:No

Date of Publication:2016-01-05

Included Journals:EI、EI

Date:2019-01-22