Michael Leuschel, Stefan Gruner. Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. In Alberto Pettorossi, editor, Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Volume 2372 of Lecture Notes in Computer Science, pages 91-110, Springer, 2001. [doi]
@inproceedings{LeuschelG01,
title = {Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking},
author = {Michael Leuschel and Stefan Gruner},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2372/23720091.htm},
tags = {model checking, meta-model, type checking, Meta-Environment},
researchr = {https://researchr.org/publication/LeuschelG01},
cites = {0},
citedby = {0},
pages = {91-110},
booktitle = {Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers},
editor = {Alberto Pettorossi},
volume = {2372},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43915-3},
}