Showing 1 - 2 results of 2 for search '"Temporal Logic"', Forespørselstid: 0.02s Refine Results
  1. 1
    Specification of software systems
    af Alagar, V S
    Udgivet 2011
    Fag: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    af Tang, Yong
    Udgivet 2010
    Fag: “...Temporal logic method...”
    Printed Book
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning