Frame-Based Process Logics (1995)

Cached

Download Links

by Jan A. Bergstra , Alban Ponse
Venue:In
Citations:5 - 2 self