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},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/pdpta/2003-4},
  timestamp = {Wed, 14 Jul 2004 13:52:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/SirjaniMIJS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdpta/2003-4,
  editor    = {Hamid R. Arabnia and
               Youngsong Mun},
  title     = {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},
  publisher = {{CSREA} Press},
  year      = {2003},
  isbn      = {1-892512-44-0},
  timestamp = {Fri, 05 Dec 2003 09:24:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/2003-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier