Modal Abstractions in µCRL (2004)

Cached

Download Links

by Jaco Van De Pol , Miguel Valero Espada
Venue:IN PROC. OF THE ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST’04
Citations:4 - 1 self