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 Veith2014, Algorithmics of Infinite State Systems workshop (FLoC 2014).
Bibtex Entry:
@Misc{ws: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},
  OPTmonth =     {July},
  howpublished = {Algorithmics of Infinite State Systems workshop ({FLoC 2014}) },
}
Powered by bibtexbrowser