@inproceedings{Kahlon:2006:AAM:1157735.1158047,
    Address = {Washington, DC, USA},
    Author = {Kahlon, Vineet and Gupta, Aarti},
    BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science},
    File = {An Automata-Theoretic Approach for Model Checking Threads for LTL Properties - Kahlon, Gupta (0) (0) - a - a - p.pdf},
    ISBN = {0-7695-2631-4},
    Pages = {101--110},
    Publisher = {IEEE Computer Society},
    Series = {LICS '06},
    Title = {An Automata-Theoretic Approach for Model Checking Threads for LTL Properties},
    URL = {http://dx.doi.org/10.1109/LICS.2006.11},
    Year = {2006},
    acmid = {1158047},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.11},
    date-added = {2013-11-24 12:44:42 +0000},
    date-modified = {2013-11-24 12:46:19 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2006.11}
}

@inproceedings{Kahlon:2006:AAM:1157735.1158047, Address = {Washington, DC, USA}, Author = {Kahlon, Vineet and Gupta, Aarti}, BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science}, File = {An Automata-Theoretic Approach for Model Checking Threads for LTL Properties - Kahlon, Gupta (0) (0) - a - a - p.pdf}, ISBN = {0-7695-2631-4}, Pages = {101--110}, Publisher = {IEEE Computer Society}, Series = {LICS '06}, Title = {An Automata-Theoretic Approach for Model Checking Threads for LTL Properties}, URL = {http://dx.doi.org/10.1109/LICS.2006.11}, Year = {2006}, acmid = {1158047}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.11}, date-added = {2013-11-24 12:44:42 +0000}, date-modified = {2013-11-24 12:46:19 +0000}, numpages = {10}, doi = {10.1109/LICS.2006.11} }