@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{BDSS99,
author = {A. K. Bhattacharjee and
S. D. Dhodapkar and
Sanjit A. Seshia and
R. K. Shyamasundar},
title = {A Graphical Environment for the Specification and Verification
of Reactive Systems},
booktitle = {18th International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
year = {1999},
month = {September},
pages = {431-444},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1698},
}