DBLP BibTeX Record 'conf/springsim/AliFD11'

@inproceedings{DBLP:conf/springsim/AliFD11,
  author    = {Khaoula Al Ali and
               Wolfgang Fengler and
               Bernd D{\"a}ne},
  title     = {Extended coloured Petri nets with structured tokens formal
               method for distributed systems},
  booktitle = {SpringSim (TMS-DEVS)},
  year      = {2011},
  pages     = {175-182},
  ee        = {http://dl.acm.org/citation.cfm?id=2048499},
  crossref  = {DBLP:conf/springsim/2011-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/springsim/2011-4,
  editor    = {Gabriel A. Wainer and
               Mamadou K. Traor{\'e} and
               Reiko Heckel and
               Jan Himmelspach},
  title     = {2011 Spring Simulation Multi-conference, SpringSim '11,
               Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings
               of the 2011 Symposium on Theory of Modeling {\&} Simulation:
               DEVS Integrative M{\&}S Symposium (TMS-DEVS)},
  booktitle = {SpringSim (TMS-DEVS)},
  publisher = {SCS/ACM},
  year      = {2011},
  ee        = {http://dl.acm.org/citation.cfm?id=2048476},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}