Parameterized Model Checking of Rendezvous Systems (bibtex)
by Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Reference:
Parameterized Model Checking of Rendezvous SystemsBenjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut VeithCONCUR 2014, 2014.Note: to appear
Bibtex Entry:
@inproceedings{AKRSV14,
  title = {Parameterized Model Checking of Rendezvous Systems},
  author = {Benjamin Aminof and Tomer Kotek and Sasha Rubin and Francesco Spegni and Helmut Veith},
  year =         {2014},
  booktitle = {CONCUR 2014},
  note={to appear}
}
Powered by bibtexbrowser