Search results for: Barry Trager
Formal Methods in System Design > 2014 > 45 > 2 > 189-212
Journal of Pure and Applied Algebra > 2001 > 164 > 1-2 > 153-163
Formal Methods in System Design > 2014 > 45 > 2 > 189-212
Journal of Pure and Applied Algebra > 2001 > 164 > 1-2 > 153-163