Search Results - "Temporal logic."

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    A logical theory of interfaces and objects. by Alencar, P.S.C

    Article


    Cover Image
  2. 2

    Fluent temporal logic for discrete-time event-based models. by Letier, Emmanuel

    Article


    Cover Image
  3. 3

    Probabilistic temporal databases, I algebra. by Dekhtyar, Alex

    Article


    Cover Image
  4. 4

    A specification language for coordinated objects. by Ciobanu, Gabriel

    Article


    Cover Image
  5. 5

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

    Article


    Cover Image

Search Tools: