Parameterized Model Checking of Token-Passing Systems

Ayrat Khalimov, Sasha Rubin, Swen Jacobs, Benjamin Aminof

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

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

Dieses zitieren