@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
@Article{BDSS-jress01,
author = {A. K. Bhattacharjee and
S. D. Dhodapkar and
Sanjit A. Seshia and
R. K. Shyamasundar},
title = {{PERTS}: A Graphical Environment for the Specification and Verification
of Reactive Systems},
journal = {Journal of Reliability Engineering and System Safety},
year = {2001},
OPTkey = {},
volume = {71},
number = {3},
pages = {299--310},
OPTmonth = {},
note = {(Corrigendum in vol. 72(2), page 223.)},
}