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 2014, volume 8318 of LNCS, pages 262-281, jan 2014.
Bibtex Entry:
@inproceedings{AJKR04,
   author = {{Aminof}, B. and {Jacobs}, S. and {Khalimov}, A. and {Rubin}, S.},
    title = "{Parameterized Model Checking of Token-Passing Systems}",
pages     = {262--281},
series    = {LNCS},
  volume    = {8318},
  booktitle = {VMCAI 2014},
     year = 2014,
    month = jan
}
Powered by bibtexbrowser