Baugh98'

BibTeX

@inproceedings{DBLP:conf/seaai/Baugh98,
  author    = {John W. Baugh Jr.},
  title     = {Design and verification of real-time systems},
  booktitle = {AI in Structural Engineering},
  year      = {1998},
  pages     = {30-47},
  crossref  = {DBLP:conf/seaai/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seaai/1998,
  editor    = {Ian Smith},
  title     = {Artificial Intelligence in Structural Engineering, Information
               Technology for Design, Collaboration, Maintenance, and Monitoring},
  booktitle = {AI in Structural Engineering},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1454},
  year      = {1998},
  isbn      = {3-540-64806-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}