Parameterized Model Checking of Token-Passing Systems

Ayrat Khalimov, Sasha Rubin, Swen Jacobs, Benjamin Aminof

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelVerification, Model Checking, and Abstract Interpretation
Redakteure/-innenKenneth L. McMillan, Xavier Rival
Herausgeber (Verlag).
Seiten262-281
DOIs
PublikationsstatusVeröffentlicht - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Dies zitieren

Khalimov, A., Rubin, S., Jacobs, S., & Aminof, B. (2014). Parameterized Model Checking of Token-Passing Systems. in K. L. McMillan, & X. Rival (Hrsg.), Verification, Model Checking, and Abstract Interpretation (S. 262-281). .. https://doi.org/10.1007/978-3-642-54013-4_15

Parameterized Model Checking of Token-Passing Systems. / Khalimov, Ayrat; Rubin, Sasha; Jacobs, Swen; Aminof, Benjamin.

Verification, Model Checking, and Abstract Interpretation. Hrsg. / Kenneth L. McMillan; Xavier Rival. ., 2014. S. 262-281.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Khalimov, A, Rubin, S, Jacobs, S & Aminof, B 2014, Parameterized Model Checking of Token-Passing Systems. in KL McMillan & X Rival (Hrsg.), Verification, Model Checking, and Abstract Interpretation. ., S. 262-281. https://doi.org/10.1007/978-3-642-54013-4_15
Khalimov A, Rubin S, Jacobs S, Aminof B. Parameterized Model Checking of Token-Passing Systems. in McMillan KL, Rival X, Hrsg., Verification, Model Checking, and Abstract Interpretation. . 2014. S. 262-281 https://doi.org/10.1007/978-3-642-54013-4_15
Khalimov, Ayrat ; Rubin, Sasha ; Jacobs, Swen ; Aminof, Benjamin. / Parameterized Model Checking of Token-Passing Systems. Verification, Model Checking, and Abstract Interpretation. Hrsg. / Kenneth L. McMillan ; Xavier Rival. ., 2014. S. 262-281
@inproceedings{99bba44b80b744bbbed4d7952cde1e57,
title = "Parameterized Model Checking of Token-Passing Systems",
author = "Ayrat Khalimov and Sasha Rubin and Swen Jacobs and Benjamin Aminof",
year = "2014",
doi = "10.1007/978-3-642-54013-4_15",
language = "English",
pages = "262--281",
editor = "McMillan, {Kenneth L.} and Xavier Rival",
booktitle = "Verification, Model Checking, and Abstract Interpretation",
publisher = ".",

}

TY - GEN

T1 - Parameterized Model Checking of Token-Passing Systems

AU - Khalimov, Ayrat

AU - Rubin, Sasha

AU - Jacobs, Swen

AU - Aminof, Benjamin

PY - 2014

Y1 - 2014

UR - http://arxiv.org/abs/1311.4425

U2 - 10.1007/978-3-642-54013-4_15

DO - 10.1007/978-3-642-54013-4_15

M3 - Conference contribution

SP - 262

EP - 281

BT - Verification, Model Checking, and Abstract Interpretation

A2 - McMillan, Kenneth L.

A2 - Rival, Xavier

PB - .

ER -