BibTeX record conf/serp/AlavizadehS06

download as .bib file

@inproceedings{DBLP:conf/serp/AlavizadehS06,
  author    = {Fatemeh Alavizadeh and
               Marjan Sirjani},
  editor    = {Hamid R. Arabnia and
               Hassan Reza},
  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},
  publisher = {{CSREA} Press},
  year      = {2006},
  timestamp = {Sat, 06 Sep 2008 23:03:55 +0200},
  biburl    = {https://dblp.org/rec/conf/serp/AlavizadehS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics