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

TLA in Pictures.

Leslie Lamport
Published in: IEEE Trans. Software Eng. (1995)
Keyphrases
  • temporal logic
  • digital pictures
  • model checking
  • database
  • wide range
  • evolutionary algorithm
  • data model
  • image features