Formats of Ordered SOS Rules with Silent Actions (1997)

Cached

Download Links

by Irek Ulidowski , Iain Phillips
Venue:Proceedings 7th Conference on Theory and Practice of Software Development (TAPSOFT'97), Lille, LNCS 1214
Citations:7 - 3 self