Refine Results
Years
  1. 2008 (24)
Open access
  1. no (24)
Peer reviewed
  1. no (24)
Invited
  1. no (24)

Results (24)

  • Valigator: A verification tool with bound and invariant generation
    Conference paper
  • Timed parity games: complexity and robustness
    Conference paper
  • Permissiveness in transactional memories
    Conference paper