A. Prasad Sistla, Xiaodong Wang, Min Zhou
Checking Extended CTL properties Using Guarded Quotient Structures
SEFM, 2004.
@inproceedings{SEFM-2004-SistlaWZ, author = "A. Prasad Sistla and Xiaodong Wang and Min Zhou", booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2004.10", isbn = "0-7695-2222-X", pages = "87--94", publisher = "{IEEE Computer Society}", title = "{Checking Extended CTL properties Using Guarded Quotient Structures}", year = 2004, }