BibTeX record conf/compsac/XieZZLF18

download as .bib file

  author    = {Wanling Xie and
               Huibiao Zhu and
               Min Zhang and
               Gang Lu and
               Yucheng Fang},
  editor    = {Sorel Reisman and
               Sheikh Iqbal Ahamed and
               Claudio Demartini and
               Thomas M. Conte and
               Ling Liu and
               William R. Claycomb and
               Motonori Nakamura and
               Edmundo Tovar and
               Stelvio Cimato and
               Chung{-}Horng Lung and
               Hiroki Takakura and
               Ji{-}Jiang Yang and
               Toyokazu Akiyama and
               Zhiyong Zhang and
               Kamrul Hasan},
  title     = {Formalization and Verification of Mobile Systems Calculus Using the
               Rewriting Engine Maude},
  booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
               {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
  pages     = {213--218},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {},
  doi       = {10.1109/COMPSAC.2018.00034},
  timestamp = {Mon, 14 Jan 2019 06:49:17 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics