Decidability of Parameterized Verification

Ayrat Khalimov, Roderick Bloem, Helmut Veith, Josef Widder, Igor Konnov, Sasha Rubin, Swen Jacobs

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Originalspracheenglisch
Verlag.
Auflage1
PublikationsstatusVeröffentlicht - 2015

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Khalimov, A., Bloem, R., Veith, H., Widder, J., Konnov, I., Rubin, S., & Jacobs, S. (2015). Decidability of Parameterized Verification. (1 Aufl.) .

Decidability of Parameterized Verification. / Khalimov, Ayrat; Bloem, Roderick; Veith, Helmut; Widder, Josef; Konnov, Igor; Rubin, Sasha; Jacobs, Swen.

1 Aufl. ., 2015.

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Khalimov, A, Bloem, R, Veith, H, Widder, J, Konnov, I, Rubin, S & Jacobs, S 2015, Decidability of Parameterized Verification. 1 Aufl., .
Khalimov A, Bloem R, Veith H, Widder J, Konnov I, Rubin S et al. Decidability of Parameterized Verification. 1 Aufl. ., 2015.
Khalimov, Ayrat ; Bloem, Roderick ; Veith, Helmut ; Widder, Josef ; Konnov, Igor ; Rubin, Sasha ; Jacobs, Swen. / Decidability of Parameterized Verification. 1 Aufl. ., 2015.
@book{09884a76b5c444c68d23e2bcbc9b487c,
title = "Decidability of Parameterized Verification",
author = "Ayrat Khalimov and Roderick Bloem and Helmut Veith and Josef Widder and Igor Konnov and Sasha Rubin and Swen Jacobs",
year = "2015",
language = "English",
publisher = ".",
edition = "1",

}

TY - BOOK

T1 - Decidability of Parameterized Verification

AU - Khalimov, Ayrat

AU - Bloem, Roderick

AU - Veith, Helmut

AU - Widder, Josef

AU - Konnov, Igor

AU - Rubin, Sasha

AU - Jacobs, Swen

PY - 2015

Y1 - 2015

M3 - Book

BT - Decidability of Parameterized Verification

PB - .

ER -