• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

CPN Tools' Application in Verification of Parallel Programs.

Lulu ZhuWeiqin TongBin 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