Publications

Export 1 results:
Filters: Author is Alan Robinson  [Clear All Filters]
1997
Clarke, E.E., Heinle, W., Schlingloff, H.: Model checking. In: Robinson, A. and Voronkov, A. Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).