ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Knowledge-based Support for System Verification During Requirements Analysis.

Mohan Tanniru, Sachidanandam Sakthivel: Knowledge-based Support for System Verification During Requirements Analysis. SIGBDP-SIGCPR 1987: 163-181
@inproceedings{DBLP:conf/sigbdp/TanniruS87,
  author    = {Mohan Tanniru and
               Sachidanandam Sakthivel},
  editor    = {Elias M. Awad},
  title     = {Knowledge-based Support for System Verification During Requirements
               Analysis},
  booktitle = {Proceedings of the 1987 ACM SIGBDP-SIGCPR Conference, March 5
               - 6, 1987, Coral Gables, FL, USA},
  publisher = {ACM},
  year      = {1987},
  isbn      = {0-89791-222-5},
  pages     = {163-181},
  ee        = {db/conf/sigbdp/TanniruS87.html, http://doi.acm.org/10.1145/24533.24543},
  crossref  = {DBLP:conf/sigbdp/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Elias M. Awad (Ed.): Proceedings of the 1987 ACM SIGBDP-SIGCPR Conference, March 5 - 6, 1987, Coral Gables, FL, USA. ACM 1987, ISBN 0-89791-222-5
Contents BibTeX

Online Edition

Citation Page BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
SIGBDP 1987 Proceedings, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:37:57 2009