Send email Copy Email Address
2016

Decidability in Parameterized Verification

Tags
ASDPS Trustworthy Information Processing
-
Date published

2016

Date last modified

2021-06-04 08:39:57

Authors
  • Roderick Bloem
  • Swen Jacobs
  • Ayrat Khalimov
  • Igor Konnov
  • Sasha Rubin
  • Helmut Veith
  • Josef Widder
Download