Transition system specifications with negative premises, Theoret (1993)

by J F Groote
Venue:Comput. Sci