@inproceedings{DBLP:conf/iceccs/BelliniGN02,
  author    = {Pierfrancesco Bellini and
               Andrea Giotti and
               Paolo Nesi},
  title     = {Execution of TILCO Temporal Logic Specifications},
  booktitle = {ICECCS},
  year      = {2002},
  pages     = {78-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181500},
  crossref  = {DBLP:conf/iceccs/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iceccs/2002,
  title     = {8th  International Conference on Engineering of Complex
               Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt,
               MD, USA},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1757-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}