Parameterized Model Checking of Token-Passing Systems (bibtex)
by B. Aminof, S. Jacobs, A. Khalimov, S. Rubin
Reference:
Parameterized Model Checking of Token-Passing SystemsB. Aminof, S. Jacobs, A. Khalimov, S. RubinVMCAI, volume 8318 of LNCS, pages 262-281, 2014, Springer.
Bibtex Entry:
@inproceedings{AJKR14,
publisher = {Springer},
title = {Parameterized Model Checking of Token-Passing Systems},
ee = {http://dx.doi.org/10.1007/978-3-642-54013-4_15},
series = {LNCS},
booktitle = {VMCAI},
author = {B. Aminof and S. Jacobs and A. Khalimov and S. Rubin},
volume = {8318},
url = {http://arxiv.org/pdf/1311.4425},
year = {2014},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {262-281},
}
Powered by bibtexbrowser