RISC JKU
  • @techreport{RISC5426,
    author = {David M. Cerna and Wolfgang Schreiner},
    title = {{Writing Time- and Space- Efficient LogicGuard Specifications}},
    language = {english},
    abstract = {Based on the analysis carried out as part of the LogicGuard II project we purpose various methods for reducing the time and space complexity of LogicGuard specifications. The key results of these investigations are that space complexity is most effected by the order of the intervals based on length and time complexity is most effected by the overlap of the intervals. We provide examples illustrating these findings as well as analysis of the theoretical results. },
    year = {2017},
    month = {March},
    howpublished = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
    length = {11},
    type = {Technical Report},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Altenberger Straße 69, 4040 Linz, Austria},
    issn = {2791-4267 (online)}
    }