Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Cong He
Publications
EnPAC: Petri Net Model Checking for Linear Temporal Logic
Zhijun Ding
,
Cong He
and
Shuo Li
EasyChair Preprint 11276
Keyphrases
ENCODE
,
heuristic
,
Linear Temporal Logic (LTL)
,
model checking
,
Petri nets
,
state explosion
.
Copyright © 2012-2024 easychair.org. All rights reserved.