Verifying Temporal Properties without Temporal Logic

@article{citeulike:2292570, abstract = {this paper were first presented at the \"IEEE Symposium on Logic in Computer Science,\" Ithaca, New York, June 1987}, author = {Alpern, Bowen and Schneider, Fred B. }, citeulike-article-id = {2292570}, journal = {ACM Transactions on Programming Languages and Systems}, keywords = {automata, logic}, number = {1}, pages = {147--167}, posted-at = {2008-01-26 14:38:33}, priority = {2}, title = {Verifying Temporal Properties without Temporal Logic}, url = {http://citeseer.ist.psu.edu/548876.html}, volume = {11}, year = {1989} }

TY - JOUR ID - citeulike:2292570 L3 - citeulike-article-id:2292570 TI - Verifying Temporal Properties without Temporal Logic JF - ACM Transactions on Programming Languages and Systems VL - 11 IS - 1 SP - 147 EP - 167 N2 - this paper were first presented at the "IEEE Symposium on Logic in Computer Science," Ithaca, New York, June 1987 KW - automata KW - logic AU - Alpern, Bowen AU - Schneider, Fred PY - 1989/// UR - http://citeseer.ist.psu.edu/548876.html ER -