BibTeX record conf/sew/ParizekPK06

• > Home > conf/sew/ParizekPK06

@inproceedings{DBLP:conf/sew/ParizekPK06,
  author       = {Pavel Par{\'{\i}}zek and
                  Frantisek Pl{\'{a}}sil and
                  Jan Kofron},
  title        = {Model Checking of Software Components: Combining Java PathFinder and
                  Behavior Protocol Model Checker},
  booktitle    = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
                  2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
                  MD, {USA}},
  pages        = {133--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEW.2006.23},
  doi          = {10.1109/SEW.2006.23},
  timestamp    = {Mon, 26 Jun 2023 20:46:21 +0200},
  biburl       = {https://dblp.org/rec/conf/sew/ParizekPK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}