Parameterized Model Checking of Token-Passing Systems

Ayrat Khalimov, Sasha Rubin, Swen Jacobs, Benjamin Aminof

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
EditorsKenneth L. McMillan, Xavier Rival
Publisher.
Pages262-281
DOIs
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Khalimov, A., Rubin, S., Jacobs, S., & Aminof, B. (2014). Parameterized Model Checking of Token-Passing Systems. In K. L. McMillan, & X. Rival (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 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. ed. / Kenneth L. McMillan; Xavier Rival. ., 2014. p. 262-281.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Khalimov, A, Rubin, S, Jacobs, S & Aminof, B 2014, Parameterized Model Checking of Token-Passing Systems. in KL McMillan & X Rival (eds), Verification, Model Checking, and Abstract Interpretation. ., pp. 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, editors, Verification, Model Checking, and Abstract Interpretation. . 2014. p. 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. editor / Kenneth L. McMillan ; Xavier Rival. ., 2014. pp. 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 -