BibTeX record conf/lctrts/BrandtSS10

download as .bib file

@inproceedings{DBLP:conf/lctrts/BrandtSS10,
  author    = {Jens Brandt and
               Klaus Schneider and
               Sandeep K. Shukla},
  title     = {Translating concurrent action oriented specifications to synchronous
               guarded actions},
  booktitle = {{LCTES}},
  pages     = {47--56},
  publisher = {{ACM}},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics