Kazuhiro Ogata, Kokichi Futatsugi. Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm. IEICE Transactions, 90-A(8):1690-1703, 2007. [doi]
@article{OgataF07:0, title = {Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm}, author = {Kazuhiro Ogata and Kokichi Futatsugi}, year = {2007}, doi = {10.1093/ietfec/e90-a.8.1690}, url = {http://dx.doi.org/10.1093/ietfec/e90-a.8.1690}, tags = {case study, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/OgataF07%3A0}, cites = {0}, citedby = {0}, journal = {IEICE Transactions}, volume = {90-A}, number = {8}, pages = {1690-1703}, }