Search results for: Carolyn L. Talcott
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 317-333
IEEE Transactions on Computers > 2017 > 66 > 2 > 183 - 198
Journal of Parallel and Distributed Computing > 2013 > 73 > 8 > 1049-1065
Electronic Notes in Theoretical Computer Science > 2008 > 203 > 3 > 95-106
Electronic Notes in Theoretical Computer Science > 2007 > 181 > Complete > 97-112
Electronic Notes in Theoretical Computer Science > 2006 > 150 > 1 > 143-157
Formal Methods in System Design > 2006 > 29 > 3 > 253-293
Electronic Notes in Theoretical Computer Science > 2005 > 141 > 5 > 115-133
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 315-333
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 229-248
Electronic Notes in Theoretical Computer Science > 2004 > 71 > Complete > 221-241
Higher-Order and Symbolic Computation > 2002 > 15 > 4 > 301-348
Electronic Notes in Theoretical Computer Science > 2000 > 36 > Complete > 274-291
Theoretical Computer Science > 1999 > 220 > 2 > 409-467