@inproceedings{DBLP:conf/scsc/CaussanelGB07,
  author    = {Jean Caussanel and
               Norbert Giambiasi and
               Agostino G. Bruzzone},
  title     = {From abstract representation to formal modeling of tactical
               military operations},
  booktitle = {SCSC},
  year      = {2007},
  pages     = {1094-1100},
  ee        = {http://doi.acm.org/10.1145/1357910.1358081},
  crossref  = {DBLP:conf/scsc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/scsc/2007,
  editor    = {Gabriel A. Wainer},
  title     = {Proceedings of the 2007 Summer Computer Simulation Conference,
               SCSC 2007, San Diego, California, USA, July 16-19, 2007},
  booktitle = {SCSC},
  publisher = {Simulation Councils, Inc.},
  year      = {2007},
  isbn      = {1-56555-316-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}