Tom Sadler (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)
1		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178

Selection of 2 from 2 records - Tom Sadler has 2 coauthors