Refine Results
Years
  1. 2010 (1)
Publishers
  1. Springer (1)
Affiliation
  1. IST Austria (1)
Open access
  1. no (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

  • Runtime verification for software transactional memories
    Conference paper