C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
CPN Tools' Application in Verification of Parallel Programs.
Lulu Zhu
Weiqin Tong
Bin Cheng
Published in:
ICICA (1) (2010)
Keyphrases
</>
decision support
petri net
application programs
data sets
real time
artificial intelligence
general purpose
open source
building blocks
parallel processing
formal methods