BibTeX record conf/isola/IlicTLL06

download as .bib file

@inproceedings{DBLP:conf/isola/IlicTLL06,
  author       = {Dubravka Ilic and
                  Elena Troubitsyna and
                  Linas Laibinis and
                  Sari Lepp{\"{a}}nen},
  title        = {Formal Verification of Consistency in Model-Driven Development of
                  Distributed Communicating Systems and Communication Protocols},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {425--432},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.40},
  doi          = {10.1109/ISOLA.2006.40},
  timestamp    = {Thu, 23 Mar 2023 23:59:43 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/IlicTLL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics