BibTeX record conf/serp/AlavizadehS06

download as .bib file

@inproceedings{DBLP:conf/serp/AlavizadehS06,
  author    = {Fatemeh Alavizadeh and
               Marjan Sirjani},
  title     = {Using {UML} to Develop Verifiable Reactive Systems},
  booktitle = {Proceedings of the International Conference on Software Engineering
               Research and Practice {\&} Conference on Programming Languages
               and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
               Volume 2},
  pages     = {554--561},
  year      = {2006},
  crossref  = {DBLP:conf/serp/2006-2},
  timestamp = {Sat, 06 Sep 2008 23:03:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serp/AlavizadehS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serp/2006-2,
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  title     = {Proceedings of the International Conference on Software Engineering
               Research and Practice {\&} Conference on Programming Languages
               and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
               Volume 2},
  publisher = {{CSREA} Press},
  year      = {2006},
  isbn      = {1-932415-91-2},
  timestamp = {Wed, 29 Nov 2006 15:18:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/serp/2006-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier