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

Multi-Core LTSmin: Marrying Modularity and Scalability.

Alfons LaarmanJaco van de PolMichael Weber
Published in: NASA Formal Methods (2011)
Keyphrases
  • neural network
  • lower bound
  • databases
  • face recognition
  • response time
  • image quality
  • coalitional games