An omega-complete Equational Specification of Interleaving (2000)

Cached

Download Links

by Wan Fokkink , Bas Luttik
Citations:10 - 7 self