Search results for: C. Talcott
Electronic Notes in Theoretical Computer Science > 2009 > 258 > 1 > 3-20
IEEE Wireless Communications > 2007 > 14 > 4 > 41 - 46
Proceedings of the 2006 Winter Simulation Conference > 1656 - 1665
Journal of Automated Reasoning > 2001 > 26 > 3 > 291-331
Electronic Notes in Theoretical Computer Science > 2000 > 36 > Complete > 405-425
Information and Computation > 1995 > 119 > 1 > 55-90