BibTeX record conf/agere/ZakeriyanKSK15

• > Home > conf/agere/ZakeriyanKSK15

@inproceedings{DBLP:conf/agere/ZakeriyanKSK15,
  author       = {Arvin Zakeriyan and
                  Ehsan Khamespanah and
                  Marjan Sirjani and
                  Ramtin Khosravi},
  editor       = {Elisa Gonzalez Boix and
                  Philipp Haller and
                  Alessandro Ricci and
                  Carlos A. Varela},
  title        = {Jacco: more efficient model checking toolset for Java actor programs},
  booktitle    = {Proceedings of the 5th International Workshop on Programming Based
                  on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
                  PA, USA, October 26, 2015},
  pages        = {37--44},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2824815.2824819},
  doi          = {10.1145/2824815.2824819},
  timestamp    = {Sat, 11 Sep 2021 23:19:19 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/ZakeriyanKSK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}