PARTY: parameterized synthesis of token rings

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

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

Originalspracheenglisch
TitelInternational Conference on Computer Aided Verification
Herausgeber (Verlag).
Seiten1-2
DOIs
PublikationsstatusVeröffentlicht - 2013

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren