Decidability in Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder · ACM SIGACT News · 2016
research-article Share on Decidability in Parameterized Verification Authors: Roderick Bloem TU Graz, Graz, Austria TU Graz, Graz, AustriaView Profile , Swen Jacobs Universität des Saarlandes, Saarbrücken, Germany Universität des Saarlandes, Saarbrücken, GermanyView Profile , Ayrat Khalimov TU Graz,Graz, Austria TU Graz,Graz, AustriaView Profile , Igor Konnov TU Wien, Vienna, Austria TU Wien, Vienna, AustriaView Profile , Sasha Rubin Università degli Studi di Napoli "Federico II", Naples, Italy Università degli Studi di Napoli "Federico II", Naples, ItalyView Profile , Helmut Veith TU Wien, Vienna, Austria TU Wien, Vienna, AustriaView Profile , Josef Widder TU Wien, Vienna, Austria TU Wien, Vienna, AustriaView Profile Authors Info & Claims ACM SIGACT NewsVolume 47Issue 2June 2016 pp 53–64https://doi.org/10.1145/2951860.2951873Published:03 June 2016Publication History 17citation184DownloadsMetricsTotal Citations17Total Downloads184Last 12 Months22Last 6 weeks6 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access