Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak. Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. In Logic, Rewriting and Concurrency: Festschrift Symposium in Honor of José Meseguer. LNCS, 2015.
@inproceedings{ArusoaieLucanuNowakand-Vlad-Rusu2015-0,
title = {Verifying Reachability-Logic Properties on Rewriting-Logic Specifications},
author = {Dorel Lucanu and Vlad Rusu and Andrei Arusoaie and David Nowak},
year = {2015},
note = {To appear in LNCS},
researchr = {https://researchr.org/publication/ArusoaieLucanuNowakand-Vlad-Rusu2015-0},
cites = {0},
citedby = {0},
booktitle = {Logic, Rewriting and Concurrency: Festschrift Symposium in Honor of José Meseguer},
series = {LNCS},
}