Affordable Access

Temporal Logic for Properties with Relative Frequency

Authors
Publication Date
Source
Universität Stuttgart, Fakultät 5, Germany, Computer Science Archive
Keywords
  • Mathematical Logic (Cr F.4.1)
  • Software Engineering Software/Program Verification (Cr D.2.4)
  • Specifying And Verifying And Reasoning About Programs (Cr F.3.1)
External links

Abstract

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments