@misc {IOPORT.70447484,
    author       = {Caussanel, Jean and Giambiasi, Norbert and Bruzzone, Agostino G.},
    title        = {From abstract representation to formal modeling of tactical military operations},
    howpublished = {SCSC, 1094-1100 (2007).},
    year         = {2007},
    doi          = {10.1145/1357910.1358081},
    identifier   = {70447484},
}