Maibaum06'

BibTeX

@inproceedings{DBLP:conf/somet/Maibaum06,
  author    = {T. S. E. Maibaum},
  title     = {On specifying systems that connect to the physical world},
  booktitle = {SoMeT},
  year      = {2006},
  pages     = {71-83},
  crossref  = {DBLP:conf/somet/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/somet/2006,
  editor    = {Hamido Fujita and
               Mohamed Mejri},
  title     = {New Trends in Software Methodologies, Tools and Techniques
               - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006,
               Quebec, Canada},
  booktitle = {SoMeT},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {147},
  year      = {2006},
  isbn      = {978-1-58603-673-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}