@inproceedings{ nasa00,
  publisher = {Springer-Verlag}
}
,
  title = {Modeling and Programming Devices and Web Agents}
}
,
  url = {nasa00.pdf}
}
,
  series = {Lecture Notes in Computer Science}
}
,
  booktitle = {Proceedings of the NASA Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS 2000)}
}
,
  author = {McIlraith, S.}
}
,
  year = {2000}
}
,
  month = {April 5-7}
}
,
  address = {Greenbelt, MD, USA}
}
,
  pages = {63-77}
}