## Towards automated proofs of observational properties (2004)

by
Narjes Berregeb
,
Riadh Robbana
,
Ashish Tiwari

Venue: | Discrete Mathematics in Theoretical Computer Science |

Citations: | 1 - 1 self |