Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems
| Title | Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems |
| Publication Type | Unpublished |
| Year of Publication | 1998 |
| Authors | Leucker, M |
| Institution | RWTH Aachen |
Bibtex:
@unpublished {Leucker98,
title = {Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems},
year = {1998},
note = {Unpublished},
publisher = {RWTH Aachen},
author = {Martin Leucker}
}Postscript:
