Abdelwaheb Ayari, David A. Basin, Andreas Podelski. LISA: A Specification Language Based on WS2S. In Mogens Nielsen, Wolfgang Thomas, editors, Computer Science Logic, 11th International Workshop, CSL 97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Volume 1414 of Lecture Notes in Computer Science, pages 18-34, Springer, 1997.
@inproceedings{AyariBP97,
title = {LISA: A Specification Language Based on WS2S},
author = {Abdelwaheb Ayari and David A. Basin and Andreas Podelski},
year = {1997},
tags = {rule-based},
researchr = {https://researchr.org/publication/AyariBP97},
cites = {0},
citedby = {0},
pages = {18-34},
booktitle = {Computer Science Logic, 11th International Workshop, CSL 97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers},
editor = {Mogens Nielsen and Wolfgang Thomas},
volume = {1414},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64570-5},
}