An omega-complete Equational Specification of Interleaving (2000)

Cached

Download Links

by Wan Fokkink , Bas Luttik
Citations:8 - 6 self