C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Extending PPTL for Verifying Heap Evolution Properties.
Xu Lu
Zhenhua Duan
Cong Tian
Published in:
CoRR (2015)
Keyphrases
</>
data structure
model checking
structural properties
real time
data sets
image processing
search algorithm
object recognition
user interface
evolutionary process