Skip to main navigation Skip to search Skip to main content

A trace logic for local security properties

  • R.J. Corin
  • , A. Durante
  • , S. Etalle
  • , P.H. Hartel

    Research output: Book/Report › Report › Academic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages12
    Publication statusPublished - 2003

    Publication series

    NameCTIT Technical Report
    VolumeTR-CTIT-03-21

    Other files and links

    Cite this