Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Mapping Modular SOS to Rewriting Logic
LOPSTR, 2002.
@inproceedings{LOPSTR-2002-BragaHMM,
author = "Christiano de O. Braga and Edward Hermann Haeusler and José Meseguer and Peter D. Mosses",
booktitle = "{Revised Selected Papers of the 12th International Workshop on Logic Based Program Synthesis and Transformation}",
doi = "10.1007/3-540-45013-0_21",
isbn = "3-540-40438-4",
pages = "262--277",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Mapping Modular SOS to Rewriting Logic}",
volume = 2664,
year = 2002,
}
Tags: