TY  - RPRT
TI  - Meta SOS - A Maude Based SOS Meta-Theory Framework
AU  - Luca Aceto
AU  - Eugen-Ioan Goriac
AU  - Anna Ingolfsdottir
PY  - 2013
DO  - 10.4204/eptcs.120.8
UR  - https://arxiv.org/abs/1307.7446
ID  - 1307.7446
ER  -