DBLP Record 'conf/scesm/GieseHHK06'

BibTeX

@inproceedings{DBLP:conf/scesm/GieseHHK06,
  author    = {Holger Giese and
               Stefan Henkler and
               Martin Hirsch and
               Florian Klein},
  title     = {Nobody's perfect: interactive synthesis from parametrized
               real-time scenarios},
  booktitle = {SCESM},
  year      = {2006},
  pages     = {67-74},
  ee        = {http://doi.acm.org/10.1145/1138953.1138967},
  crossref  = {DBLP:conf/scesm/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/scesm/2006,
  editor    = {Jon Whittle and
               Leif Geiger and
               Michael Meisinger},
  title     = {SCESM '06: Proceedings of the 2006 International Workshop
               on Scenarios and State Machines: Models, Algorithms, and
               Tools, Shanghai, China, May 27, 2006},
  booktitle = {SCESM},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-394-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}