BibTeX record conf/pdpta/SirjaniMIJS03

download as .bib file

@inproceedings{DBLP:conf/pdpta/SirjaniMIJS03,
  author    = {Marjan Sirjani and
               Ali Movaghar and
               Hamed Iravanchi and
               Mohammad Mahdi Jaghoori and
               Amin Shali},
  editor    = {Hamid R. Arabnia and
               Youngsong Mun},
  title     = {Model Checking in Rebeca},
  booktitle = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
               2003, Las Vegas, Nevada, USA, Volume 4},
  pages     = {1819--1822},
  publisher = {{CSREA} Press},
  year      = {2003},
  timestamp = {Wed, 14 Jul 2004 13:52:58 +0200},
  biburl    = {https://dblp.org/rec/conf/pdpta/SirjaniMIJS03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics