PARTY: Parameterized Synthesis of Token Rings (bibtex)
by Ayrat Khalimov, Swen Jacobs, Roderick Bloem
Reference:
PARTY: Parameterized Synthesis of Token RingsAyrat Khalimov, Swen Jacobs, Roderick BloemChapter in Computer Aided Verification, 2013.
Bibtex Entry:
@incollection{KJB13a,
title = {PARTY: Parameterized Synthesis of Token Rings},
url = {/pubpdf/PARTY__Parameterized_Synthesis_of_Token_Rings.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Computer Aided Verification},
author = {Khalimov, Ayrat and Jacobs, Swen and Bloem, Roderick},
year = {2013},
}
Powered by bibtexbrowser