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

A Timed Extension of Property Sequence Chart.

Pengcheng ZhangBixin LiMingjie Sun
Published in: HASE (2008)
Keyphrases
  • petri net
  • information retrieval
  • artificial intelligence
  • computer vision
  • pseudorandom
  • sequence analysis
  • long sequences
  • linear time temporal logic